}
public void enableDisableAction() {
JaWEController jc = JaWEManager.getInstance().getJaWEController();
UndoHistoryManager um = jc.getUndoHistoryManager();
setEnabled(um.canUndo());
}
public void actionPerformed(ActionEvent e) {
JaWEController jc = JaWEManager.getInstance().getJaWEController();
jc.undo();