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