public static void addPackage(String packagename){
  packages.add(packagename);
}

public static void addPackage ( String packagename ) { packages . add ( packagename ) ; }
adds the given package name to the list of known package names .
