public void Dispose( )

This method is inherited from UniRoot. It performs cleanup for the session.