@Override
          public void actionPerformed(ActionEvent e) {
            if (undoManager != null && undoManager.canUndo()) {
              undoManager.undo();
            }
          }
Contains implementations for default editor actions
java/ui/src/main/java/com/google/security/zynamics/bindiff/gui/components/TextComponentUtils.java