private static void parse(String filename) {
public static void parse(String filename, String options) {
  private static void parse(String filename) {    InputStream in;    try {      if (filename.equals("-")) {        in = new DataInputStream(System.in);      } else {        try {          in = new FileInputStream(filename);        } catch (FileNotFoundException fe) {          in = DefRunner.class.getClassLoader().getResourceAsStream(filename);        }      }      if (in == null) {        System.err.println("File "+filename+" could not be opened.");      }      InputStreamReader isr = new InputStreamReader(in);      BufferedReader br = new BufferedReader(isr);      // read the first line - it'll tell us what to do next      String line = br.readLine();      if (line != null) {        int i;        // check for old syntax        if ( (i = line.indexOf("!generate:")) != -1) {          runDef(filename, line.substring(i+10).trim());        } else if ( (i = line.indexOf("!")) != -1) {          runDef(filename, line.substring(i+1).trim());        } else {          System.err.println("File \""+filename+"\" is a broken def file!");        }      }      br.close();    } catch (Exception e) {      e.printStackTrace();    }  }