more jstree stuff