public JButton getReplaceFindButton() {
   if (replaceFindButton == null) {
     replaceFindButton = new JButton("Replace...");
     replaceFindButton.setMnemonic('R');
     replaceFindButton.addActionListener(this);
   }
   return replaceFindButton;
 }
 public JButton getCloseButton() {
   if (closeButton == null) {
     closeButton = new JButton();
     closeButton.setText("Close");
     closeButton.setMnemonic('C');
     closeButton.addActionListener(this);
   }
   return closeButton;
 }
 public JButton getReplaceAllButton() {
   if (replaceAllButton == null) {
     replaceAllButton = new JButton();
     replaceAllButton.setText("Replace All");
     replaceAllButton.setMnemonic('A');
     replaceAllButton.setDisplayedMnemonicIndex(8);
     replaceAllButton.addActionListener(this);
   }
   return replaceAllButton;
 }
 public JButton getReplaceButton() {
   if (replaceButton == null) {
     replaceButton = new JButton();
     replaceButton.setText("Replace");
     replaceButton.setMnemonic('R');
     replaceButton.setDefaultCapable(true);
     replaceButton.addActionListener(this);
   }
   return replaceButton;
 }
 public JButton getFindNextButton() {
   if (findNextButton == null) {
     findNextButton = new JButton();
     findNextButton.setText("Find Next");
     findNextButton.setMnemonic('F');
     findNextButton.setDefaultCapable(true);
     findNextButton.addActionListener(this);
   }
   return findNextButton;
 }