jbosstools/jbosstools-base — pull request #165 by dazarov (2013-07-11 21:31:43+00:00)
Title: JBIDE-13654 org.eclipse.core.internal.resources.ResourceException

performing Quick Fix from Teiid Designer tooling

Updated ConfigureProblemSeverityResolutionGenerator in order to ignore ResourceException