jbosstools/jbosstools-base — pull request #28 by dazarov (2012-12-06 01:28:53+00:00)
Title: JBIDE-13076 Marker Resolution Generators should check if IMarker exists

marker.exists() moved from method hasResolutions(String preferenceKey, String markerType, IPreferenceInfo markerInfo, IResource resource) to method getProblemType(IMarker marker)