#58 problematic code related to sym files

[David Cok]

The following excerpt from org/jmlspecs/checker/Main.java in
createTaskAfter looks fishy to me. If there is more than one
element in trees, only one will get saved. But I do not know
what the sym files are for or how to test a change I would make.

- David

if (//!hasOptionXsymw() &&
canStopSequenceBeforeAllPasses( oldTask )) {
// if not the main task
CompilerPassEnterable[] trees
= ((PreprocessTask) oldTask).trees();
JmlCompilationUnit cUnit;
for (int i=0; i<trees.length; i++) {
if (trees[i] instanceof JmlCompilationUnit) {
cUnit = (JmlCompilationUnit) trees[i];
String filePath = cUnit.getFilePath();
cUnit.setSuspendedTask(oldTask);
JmlTypeLoader.getJmlSingleton()
.savePartiallyProcessedTask(cUnit);
// System.out.println("stop:"+filePath);
return null;
}
}
return super.createTaskAfter( oldTask );
} else {