+ ctxt.getServletClassName()).replace('.', '/') + ".java";
String[] resources = new String[] {targetResource};
JavaCompiler javaCompiler = (new JavaCompilerFactory()).createCompiler(options.getCompiler().substring(4));
FileResourceReader reader = new FileResourceReader(ctxt.getOptions().getScratchDir());
FileResourceStore store = new FileResourceStore(ctxt.getOptions().getScratchDir());
JavaCompilerSettings settings = javaCompiler.createDefaultSettings();
if (settings == null) {
settings = new JavaCompilerSettings();
}
settings.setDeprecations(false);