String sourceFileName = fileNameFor(javaClass.getPackageName(), javaClass.getSourceFileName()); sourceFileNameCache.put(javaClass.getClassName(), sourceFileName);
	public void observeClass(JavaClass javaClass) {		// Don't need to do anything special, since we won't be		// reporting statistics.	}