public final void end() {if (finalState != null) {restoreState(finalState);}}

public final void end ( ) { if ( finalState != null ) { restoreState ( finalState ) ; } }
public override void End(){if (finalState != null){RestoreState(finalState);}}
