if (args.length < 3) {
usage();
} else {
Configurator config = new Configurator();
Hashtable env = Util.getenv();
Vector extra = new Vector();
for (int i=3; i<args.length; i++) {
extra.addElement(args[i]);
}
config.readPlatformFile(args[0]);
config.readInputFile(args[1]);
config.write(args[2], env, extra);
}