if ( commandStack != null ) { commandStack.flush( ); commandStack = null; }
manager = null;
	public void dispose( )	{		super.dispose( );		if ( commandStack != null )		{			commandStack.flush( );			commandStack = null;		}	}