Ensure servers view has same JMX tree as jmx view; move enhancements to as.wtp.ui so others can consume
JBIDE-17646 allow runtimes to customize execution environment