private void checkClassName(String className) throws ClassNotFoundException {
   // Do stricter checking of class name validity on deferred
   //  because if the name is invalid, it will
   // never match a future loaded class, and we'll be silent
   // about it.
   StringTokenizer tokenizer = new StringTokenizer(className, ".");
   while (tokenizer.hasMoreTokens()) {
     String token = tokenizer.nextToken();
     // Each dot-separated piece must be a valid identifier
     // and the first token can also be "*".
     if (!isJavaIdentifier(token)
         && (tokenizer.hasMoreTokens() || !isAnonymousClassSuffix(token))) {
       throw new ClassNotFoundException();
     }
   }
   if (!classIsPlausible()) Env.noticeln("Warning: class %s does not seem to exist.", classId);
 }