Bug 26261 Confusion after setting hover prefs due to disabled hover - remove hover toggle
20021113 i set the 'shift' hover to source - nothing happens on hovering with shift down
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitEditorActionContributor.java
/**
			 * Extends retarget action to make sure that state required for a toolbar actions is
			 * also copied over from the actual action handler.
			 */
			private static class RetargetToolbarAction extends RetargetAction {
				
				private String fDefaultLabel;
				
				public RetargetToolbarAction(ResourceBundle bundle, String prefix, String actionId, boolean checkStyle) {
					super(actionId, getLabel(bundle, prefix));
					fDefaultLabel= getText();
					if (checkStyle)
						setChecked(true);
				}
				
				private static String getLabel(ResourceBundle bundle, String prefix) {
					final String labelKey= "label"; 
					try {
						return bundle.getString(prefix + labelKey);
					} catch (MissingResourceException e) {
						return labelKey;
					}
				}