Project: JDT
Bug 237323 [misc] org.eclipse.ui.ide.markerResolution extensions not referenced in Java editor
Reported: 2008-06-16 14:09:56 | Status: verified fixed


Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/correction/JavaCorrectionProcessor.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/ProblemHover.java