public JCheckBox getWholeWordCheckBox() {
   if (wholeWordCheckBox == null) {
     wholeWordCheckBox = new JCheckBox();
     wholeWordCheckBox.setText("Whole Words Only");
     wholeWordCheckBox.setMnemonic('W');
     wholeWordCheckBox.addActionListener(this);
   }
   return wholeWordCheckBox;
 }
 public JCheckBox getCaseSensitiveCheckBox() {
   if (caseSensitiveCheckBox == null) {
     caseSensitiveCheckBox = new JCheckBox();
     caseSensitiveCheckBox.setText("Case Sensitive");
     caseSensitiveCheckBox.setMnemonic('v');
     caseSensitiveCheckBox.setDisplayedMnemonicIndex(12);
     caseSensitiveCheckBox.addActionListener(this);
   }
   return caseSensitiveCheckBox;
 }