158159160161162163164165166167168
break; case NEXT: selection.selectNextOccurrence(); break; case PREVIOUS: selection.selectPreviousOccurrence(); break; } pane.requestFocusInWindow(); } }