137138139140141142143144145146147
// try { MockObjectPlugin plugin = new MockObjectPlugin( outputEncoding, todir, generatorChecker, loader, generatorLogger); plugin.start(classes); // worked = true; // } finally { // if (!worked) { // uptodateFile.delete(); // }