public void keyPressed(KeyEvent event) {
public void keyReleased(KeyEvent event) {
	private void initRefreshKey() {		fViewer.getControl().addKeyListener(new KeyAdapter() {			public void keyPressed(KeyEvent event) {				if (event.keyCode == SWT.F5) {					fRefreshAction.selectionChanged(						(IStructuredSelection) fViewer.getSelection());					if (fRefreshAction.isEnabled())						fRefreshAction.run();				}			}		});	}