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