out.println(""); if (pkg != null) out.println("package " + pkg + ";");
out.println(); if (package_name != null) { out.println("package " + package_name + ";"); } out.println();
  private void genHeader(String pkg, String javaclass, PrintWriter out)    throws IOException    {      out.println("// Java tool interface class " + javaclass);      out.println("// This file is generated automatically, please do not edit!");      out.print("// generation time: ");      out.println(DateFormat.getDateTimeInstance().format(new Date()));      out.println("");      if (pkg != null)	out.println("package " + pkg + ";");      out.println("import aterm.*;");      out.println("import toolbus.*;");      out.println("import java.net.*;");      out.println("import java.util.*;");      out.println("abstract public class " + javaclass + " extends AbstractTool");      out.println("{");    }