long start = System.currentTimeMillis();
File sfile = new File(srcdir, sourceFile);
File ofile = new File(srcdir, outputFile);
SpecLexer lexer = new SpecLexer(new FileReader(sfile));
SpecParser parser = new SpecParser(sfile, lexer.scan());
SpecFile sf = parser.parse();
int delta = 0;
for (File dfile : dependencies(sf)) {
if (dfile.lastModified() > ofile.lastModified()) {