jbosstools/jbosstools-base — pull request #95 by dazarov (2013-04-26 17:57:13+00:00)
Title: JBIDE-13654 ResourceException performing Quick Fix from Teiid Designer tooling

Specified markerType for ConfigureProblemSeverityResolutionGenerator in order not to work with problem markers that were not created by JBDS