[jbosstools-dev] Proposed change to JBT 4.40.Beta4-SNAPSHOT target platform for Jboss Central: update SpringIDE