deffilename = filename;
  void processFile(String filename) {    InputStream stream = null;    try {      setDirectories(filename);      if (filename.equals("-")) {        debug("Reading from standard input.");        stream = new java.io.DataInputStream(System.in);      } else {        debug("Reading \""+filename+"\".");        stream = new FileInputStream(filename);      }      Parser p = new Parser(stream);      p.parse();      stream.close();            Writer w = new Writer(p);      w.write();      w.done();    } catch (Exception e) {      System.err.println("Caught: "+e);      e.printStackTrace();    }  }