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