public JavaTif()
public JavaTif(String pkg_name, String tool_interface, String tool_class, String tool_bridge)
  public JavaTif()  {    doEvents = new Hashtable();    evalEvents = new Hashtable();    otherEvents = new Hashtable();    factory = new aterm.pure.PureFactory();  }