if (DEBUG) { System.out.println("Removing class " + javaClass.getClassName() + " from Repository"); dumpStack(); knownClasses.remove(javaClass.getClassName()); }
	public void removeClass(JavaClass javaClass) {		nameToClassMap.remove(javaClass.getClassName());	}