Bug 231119 [GlobalActions] RefreshAction markes as @noextend but should be
3.4 Javadoc says: * This class may be instantiated; it may also subclass to extend: * .... The tag * @noextend This class is not intended to be subclassed by clients. got added, which is different. In JDT we subclass RefreshAction to add extra operations to refresh.
bundles/org.eclipse.ui.ide/extensions/org/eclipse/ui/actions/RefreshAction.java
resources = new ArrayList();
			resources.add(ResourcesPlugin.getWorkspace().getRoot());
		}
		return resources;
	}
	/**
	 * The <code>RefreshAction</code> implementation of this
	 * <code>SelectionListenerAction</code> method ensures that this action is
	 * enabled if the selection is empty, but is disabled if any of the selected
	 * elements are not resources.
	 */
	protected boolean updateSelection(IStructuredSelection s) {
		return (super.updateSelection(s) || s.isEmpty())
				&& getSelectedNonResources().size() == 0;
	}
	/**
	 * Handle the key release.
	 * 
	 * @param event
	 *            the event
	 */
	public void handleKeyReleased(KeyEvent event) {
		if (event.keyCode == SWT.F5 && event.stateMask == 0) {
			refreshAll();
		}
	}
	/**
	 * Refreshes the entire workspace.
	 */
	final public void refreshAll() {