protected void updateProblemsFor(SourceFile sourceFile, CompilationResult result)
throws CoreException {
IMarker[] markers = JavaBuilder.getProblemsFor(sourceFile.resource);
CategorizedProblem[] problems = result.getProblems();
if (problems == null && markers.length == 0) return;
this.notifier.updateProblemCounts(markers, problems);
JavaBuilder.removeProblemsFor(sourceFile.resource);
storeProblemsFor(sourceFile, problems);
}
