public void doRedo(){
  if (undo.canRedo()) {
    undo.redo();
    parse();
  }
}

public void doRedo ( ) { if ( undo . canRedo ( ) ) { undo . redo ( ) ; parse ( ) ; } }
perform a redo action , if possible .
