[jbosstools-issues] [JBoss JIRA] Updated: (JBDS-735) Ensure JBDS build doesn't change critical parts of eclipse.ini