out.println("\n      notInInputSignature(term);");
out.println(); out.println("      notInInputSignature(term);");
  private void genHandler(PrintWriter out)  {    out.println("  // The generic handler calls the specific handlers");    out.println("  public ATerm handler(ATerm term)");    out.println("  {\n    List result;");    out.println("");    Enumeration e = doEvents.keys();    while(e.hasMoreElements()) {      String key = (String)e.nextElement();      SpecOrderVector v = (SpecOrderVector)doEvents.get(key);      v.genCalls(out, capitalize(key, false), false);    }    e = evalEvents.keys();    while(e.hasMoreElements()) {      String key = (String)e.nextElement();      SpecOrderVector v = (SpecOrderVector)evalEvents.get(key);      v.genCalls(out, capitalize(key, false), true);    }    e = otherEvents.keys();    while(e.hasMoreElements()) {      String key = (String)e.nextElement();      SpecOrderVector v = (SpecOrderVector)otherEvents.get(key);      v.genCalls(out, capitalize(key, false), false);    }    out.println("\n      notInInputSignature(term);");    out.println("    return null;");    out.println("  }\n");  }