this.view.add(scroll, gbc);
gbc = new GridBagConstraints(0,1, 1,1, 1,0, GridBagConstraints.WEST, GridBagConstraints.HORIZONTAL, new Insets(0, 0, 0, 0), 0,0);
this.view.add(this.locker.getView(), gbc);
// level locker
KeyboardFocusManager.getCurrentKeyboardFocusManager().addKeyEventDispatcher(new KeyEventDispatcher() {
public boolean dispatchKeyEvent(KeyEvent e) {
if(SearchTree.this.locker.getStation() == LevelLocker.DEF_LOCK) {
if (e.getID() == KeyEvent.KEY_PRESSED && e.getKeyCode() == KeyEvent.VK_DOWN) {
synchronized (SearchTree.this.theMutexObject) {
if(SearchTree.this.currNode != null) {