treeViewer.getControl( ).addKeyListener( new KeyListener( ) {  public void keyPressed( KeyEvent e ) {  }  public void keyReleased( KeyEvent e ) { if ( e.keyCode == SWT.F5 ) { treeViewer.refresh( ); } } } );
	protected void configTreeViewer( )	{		ViewsTreeProvider provider = new ViewsTreeProvider( ) {			public Image getImage( Object element )			{				if ( element instanceof LibraryHandle )				{					Image image = libraryProvider.getDisplayIcon( (LibraryHandle) element );					if ( image == null )					{						image = ReportPlatformUIImages.getImage( element );					}					return image;				}				return super.getImage( element );			}		};		treeViewer.setContentProvider( provider );		treeViewer.setLabelProvider( provider );		refreshRoot( );		// add inline renaming support		// Adds drag and drop support		int ops = DND.DROP_COPY;		Transfer[] transfers = new Transfer[]{			TemplateTransfer.getInstance( )		};		treeViewer.addDragSupport( ops,				transfers,				new LibraryDragListener( treeViewer ) );	}