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