Updated to the latest version of jstree, and updated the logic behind showing/hiding annotations.