protected static void emit_package(PrintStream out){
  if (package_name != null)   out.println("package " + package_name + ";\n");
}

protected static void emit_package ( PrintStream out ) { if ( package_name != null ) out . println ( "package " + package_name + ";\n" ) ; }
emit a package spec if the user wants one .
