[jbosstools-issues] [JBoss JIRA] Created: (TOOLSDOC-248) Getting Started Guide contains no mention of how to override vm used in jbdevstudio.ini