[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-6016) Error markers are not removed after correcting BPEL