private void reportRecoverableDetectorException(String className, Detector2 detector, Exception e) {
private void reportRecoverableDetectorException(String className, Detector detector, Exception e) {
	private void reportRecoverableDetectorException(String className, Detector2 detector, Exception e) {		if (DEBUG) {			e.printStackTrace();		}		bugReporter.logError("Exception analyzing " + className +			" using detector " + detector.getDetectorClassName(), e);	}