de.chandre.admintool.jmx.jstree (admin-tools jminix integrator 1.1.7.3 API)