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