public static void reload_classes (String [] wildnames, 
    boolean resolve) throws ClassNotFoundException {

    Vector file_pool = new Vector ();
    Vector name_pool = new Vector ();

    for (int i=0; i<wildnames.length; i++) {
      if (wildnames [i].endsWith (".*")) { // package        
        String package_name = wildnames [i].substring (
          0, wildnames [i].length () - ".*".length ());
        File [] files = Classpath.find_package (package_name);        
        String [] names = Classpath.to_jvm_name (package_name, files);
        for (int j=0; j<files.length; j++) file_pool.add (files [j]);
        for (int j=0; j<names.length; j++) name_pool.add (names [j]);

      } else {                  // individual class
        file_pool.add (Classpath.find_class (wildnames [i]));
        name_pool.add (wildnames [i]);
      }
    }

    reload (file_pool, name_pool, resolve);
  }