if (DEBUG_MISSING_CLASSES) { System.out.println("Missing class: " + ex.toString()); ex.printStackTrace(System.out); }
	public void reportMissingClass(ClassNotFoundException ex) {		if (verbosityLevel == SILENT)			return;		String message = getMissingClassName(ex);		if (message.startsWith("[")) {			// Sometimes we see methods called on array classes.			// Obviously, these don't exist as class files.			// So, we should just ignore the exception.			// Really, we should fix the class/method search interfaces			// to be much more intelligent in resolving method			// implementations.			return;		}		if (!missingClassMessageSet.contains(message)) {			missingClassMessageSet.add(message);			missingClassMessageList.add(message);		}	}