Update jnxbtree.h