out.println("    } catch (ParseError e) { }"); out.println("  }\n");
out.println("  }"); printFoldClose(out);
  private void genInitSigTable(PrintWriter out)  {    out.println("  // This method initializes the table with input signatures");    out.println("  private void initSigTable()");    out.println("  {");    ATermList sigs = tifs;    out.println("    try {");    while(!sigs.isEmpty()) {      ATerm sig = sigs.getFirst();      sigs = sigs.getNext();      out.print("      sigTable.put(factory.parse(\"");      out.print(sig.toString());      out.println("\"), new Boolean(true));");    }    out.println("    } catch (ParseError e) { }");    out.println("  }\n");  }