jstree does not support IE7 anyway