[jbosstools-issues] [JBoss JIRA] (JBIDE-9885) "Configure Problem Severity" quick fix for every CDI Problem Markers which opens Preferences Dialog filtered with current problem