135136137138139140141142
private static boolean hasCorrections(IMarker marker) { if (marker == null || !marker.exists()) return false; IMarkerHelpRegistry registry = IDE.getMarkerHelpRegistry(); return registry != null && registry.hasResolutions(marker); }