jstree additions