ported to jstree 3.0.8