if (DEBUG) System.out.println("Storing class " + javaClass.getClassName() + " in repository");
	public void storeClass(JavaClass javaClass) {		nameToClassMap.put(javaClass.getClassName(), javaClass);		javaClass.setRepository(this);	}