if(!viewer.getTableTree( ).isDisposed( ))
if ( !viewer.getTree( ).isDisposed( ) )
	public void elementChanged( DesignElementHandle focus, NotificationEvent ev )	{		if(!viewer.getTableTree( ).isDisposed( ))		{			viewer.refresh( true );			expandToDefaultLevel( );		}	}