Bug 63145 Mark method exits by itself is not working
Build I200405190010 1. Check Java > Editor > Mark occurrences > Mark method exits (only) 2. Select the return type of a method containinga return statement Observe: the return type is not highlighted. Expectation: it should be. 3. Check Java > Editor > Mark occurrences > Mark exceptions (in addition to Mark method exits) 4. Select the return type again Observe: the return type is highlighted.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/JavaEditor.java
public void selectionChanged(SelectionChangedEvent event) {
			doSelectionChanged(event);
		}
	}
	
	
	/**
	 * Adapts an options {@link java.util.Map} to {@link org.eclipse.jface.preference.IPreferenceStore}.
	 * <p>
	 * This preference store is read-only i.e. write access
	 * throws an {@link java.lang.UnsupportedOperationException}.
	 * </p>
	 * 
	 * @since 3.0
	 */
	private static class OptionsAdapter implements IPreferenceStore {
		/**
		 * A property change event filter.
		 */
		public interface IPropertyChangeEventFilter {