Swing/FileHistory のバックアップ(No.15)

private int MAXHISTORY = 3;
private void updateHistory(String str) {
  fileHistory.removeAll();
  fh.removeElement(str);
  fh.insertElementAt(str, 0);
  if(fh.size()>MAXHISTORY) fh.remove(fh.size()-1);
  for(int i=0;i<fh.size();i++) {
    String name = (String)fh.elementAt(i);
    String num  = Integer.toString(i+1);
    JMenuItem mi = new JMenuItem(new HistoryAction(new File(name)));
    mi.setText(num + ": "+ name);
    byte[] bt = num.getBytes();
    mi.setMnemonic((int) bt[0]);
    fileHistory.add(mi, i);
  }
}
class HistoryAction extends AbstractAction{
  final private File file;
  public HistoryAction(File file_) {
    super();
    file = file_;
  }
  public void actionPerformed(ActionEvent evt) {
    historyActionPerformed(file);
  }
}
private void historyActionPerformed(File file) {
  Object[] obj = {"本来はファイルを開いたりする。\n",
                  "このサンプルではなにもせずに\n",
                  "履歴の先頭にファイルを移動する。"};
  JOptionPane.showMessageDialog(this, obj, APP_NAME,
                  JOptionPane.INFORMATION_MESSAGE);
  repaint();
  updateHistory(file.getAbsolutePath());
}