[jbosstools-issues] [JBoss JIRA] Commented: (JBIDE-5049) Specifying Server JRE via Open Launch Configuration is confusing