Bugfix jstree in IE 11

There is a Bug with jstree and IE 11, the tree remains loading forever. I updated to the latest version of the jstree script and it solved the issue!
I have not seen any problems with vufind  and the new jstree script so far.
Please have a look at it.