[jbosstools-issues] [JBoss JIRA] (JBIDE-17907) Review and consolidate JVM Monitor and Tools preference pages

Review and consolidate JVM Monitor and Tools preference pages ------------------------------------------------------------- Key: JBIDE-17907 URL: https://issues.jboss.org/browse/JBIDE-17907 Project: Tools (JBoss Tools) Issue Type: Task Components: jmx, server Affects Versions: 4.2.0.Beta3 Environment: JBDS 8.0.0.Beta3a B178 Reporter: Martin Malina Assignee: Rob Stryker This is follow-up of JBIDE-17661. Right now there is the JVM Monitor preference page and then a subpage called Tools. The subpage refers to JMX Explorer, but there is no such thing in our tools right now. We have JMX Navigator now. And also, it only has two options, perhaps it could live in the parent page.