public void doUndo(){
  if (undo.canUndo()) {
    undo.undo();
    parse();
  }
}

public void doUndo ( ) { if ( undo . canUndo ( ) ) { undo . undo ( ) ; parse ( ) ; } }
perform an undo action , if possible
