149150151152153154155156157158159
// Find occurrence MWPaneSelectionManager selection = pane.getSelectionManager(); switch (occurrence) { case FIRST: selection.selectFirstOccurrence(); break; case LAST: selection.selectLastOccurrence(); break; case NEXT: