log("Performed type inference ... [" + (end - start) + "ms]");
}
start = System.currentTimeMillis();
BufferedWriter bw = new BufferedWriter(new FileWriter(ofile),65536);
new JavaFileWriter(bw).write(sf);
if(debug) {
long end = System.currentTimeMillis();
log("Wrote target file ... [" + (end - start) + "ms]");
}
} else {