This bug has been fixed in jstree in 2013 and the version containing the fix is now since long available, closing this bug.
This bug has been fixed in jstree in 2013 and the version containing the fix is now since long available, closing this bug.