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