[jbosstools-issues] [JBoss JIRA] (JBIDE-12934) Problem marker remains on "Error" on Endpoint node in Project explorer after error was fixed and "warning" remains