Replaced jstree.js by jstree.coffee