treeViewer.refresh( );
if ( treeViewer != null && !treeViewer.getTree( ).isDisposed( ) ) treeViewer.refresh( );
	public void elementValidated( DesignElementHandle targetElement,			ValidationEvent ev )	{		treeViewer.refresh( );	}