if (input.equals("-")) { inputStream = System.in; if (output == null) { usage(); } } else { inputStream = new FileInputStream(input); if (output == null) { int extIndex = input.lastIndexOf('.'); output = input.substring(0, extIndex); }  run(inputStream); }
run();
	public final static void main(String[] args) throws IOException {		String input = "-";		InputStream inputStream;		if (args.length == 0) {			usage();		}		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 ("-output".startsWith(args[i])) {				output = args[++i];			}			else if ("-prologue".startsWith(args[i])) {				prologue = args[++i];			}			else if ("-input".startsWith(args[i])) {				input = 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();			}		}		if (input.equals("-")) {			inputStream = System.in;			if (output == null) {				usage();			}		}		else {			inputStream = new FileInputStream(input);			if (output == null) {				int extIndex = input.lastIndexOf('.');				output = input.substring(0, extIndex);			}			run(inputStream);		}	}