if (!JavaCorrectionProcessor.hasCorrections(context.getCompilationUnit(), problem.getProblemId())) {
if (!JavaCorrectionProcessor.hasCorrections(context.getCompilationUnit(), problem.getProblemId(), problem.getMarkerType())) {
	public static void assertCorrectContext(IInvocationContext context, ProblemLocation problem) {		if (problem.getProblemId() != 0) {			if (!JavaCorrectionProcessor.hasCorrections(context.getCompilationUnit(), problem.getProblemId())) {				assertTrue("Problem type not marked with light bulb: " + problem, false);			}		}	}	