params.setPrefix("");
	public final static void main(String[] args) {		if (args.length == 0) {			usage();		}		params.setOutputDirectory(".");		params.setVerbose(false);		params.setFolding(false);		for (int i = 0; i < args.length; i++) {			if ("-help".startsWith(args[i])) {				usage();			}			else if ("-verbose".startsWith(args[i])) {				params.setVerbose(true);			}			else if ("-prefix".startsWith(args[i])) {				params.setPrefix(args[++i]);			}			else if ("-name".startsWith(args[i])) {				params.setApiName(args[++i]);			}			else if ("-output".startsWith(args[i])) {				params.setOutputDirectory(args[++i]);			}			else if ("-prologue".startsWith(args[i])) {				prologue = args[++i];			}			else if ("-input".startsWith(args[i])) {				params.addInputFile(args[++i]);			}			else if ("-compatible:term".equals(args[i])) {				termCompatibility = true;			}			else if ("-jtom".startsWith(args[i])) {				jtom = true;			}			else if ("-jtype".startsWith(args[i])) {				jtype = true;			}			else {				usage();			}		}		run();	}