[jbosstools-issues] [JBoss JIRA] (JBIDE-18972) "Error while JSDT ClassPath changed." occurs when saving config.xml