[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-1872) Error appears when user selects source in source editor.