if (jdk15ChecksEnabled) { System.out.println("Enabling JDK 1.5 checks"); }
	public DumbMethods(BugReporter bugReporter) {		this.bugReporter = bugReporter;				jdk15ChecksEnabled = JavaVersion.getRuntimeVersion().isSameOrNewerThan(JavaVersion.JAVA_1_5);		if (jdk15ChecksEnabled) {			System.out.println("Enabling JDK 1.5 checks");		}	}