System.out.println("generating file " + tool_bridge + ".java");
  private void genBridge()    throws IOException  {    PrintWriter out =      new PrintWriter(new FileOutputStream(tool_bridge + ".java"));    genBridgeHeader(out);    out.println("  private " + tool_interface + " tool;");    out.println();    String decl = "public " + tool_bridge + "(ATermFactory factory, "      + tool_interface + " tool)";    printFoldOpen(out, decl);    out.println("  " + decl);    out.println("  {");    out.println("    super(factory);");    out.println("    this.tool = tool;");     out.println("  }");    printFoldClose(out);    out.println();    genMethods(out, true);    out.println("}");    out.close();  }