if (configFile != null) {
ConfigReader reader = new ConfigReader(null, new File(configFile));
server = reader.parse();
} else {
server = new Server(null);
CompilerPreferences compiler = new CompilerPreferences(server);
compiler.setUseTimestamp(false);
compiler.setStoreImages(false);
compiler.setClassPath("/var/tmp/");
server.configure(compiler);
}
server.setShouldInvalidate(false);
server.setContainer("file:/");
if (namespace != null) {