small changes towards getting hotkeys on the jtree