jstree hard-coded!