[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-2742) 4.0.x servers should add JDK_HOME/lib/tools.jar, otherwise jmx-console might be broken