System.out.println("generating file " + tool_interface + ".java");
  public void genTif()    throws IOException  {    PrintWriter out =      new PrintWriter(new FileOutputStream(tool_interface + ".java"));    genTifHeader(out);    genMethods(out, false);    out.println("}");    out.close();  }