progressCallback.finishClass();
  public void examine(JavaClass c) {	if (detectors == null)		createDetectors();	classNameToSourceFileMap.put(c.getClassName(), c.getSourceFileName());	ClassContext classContext = new ClassContext(c);	for(int i = 0; i < detectors.length; i++)  {		Detector detector = detectors[i];		detector.visitClassContext(classContext);		}	}