java/gui: KeyTree
java/gui: add KeyTree to explorer view