Bug 86624 Need UI to control @Override annotation
M5a public class X extends ArrayList<String> { } - add a add(String) method using code assit. You get @Override public boolean add(String o) { return super.add(o); } which is great. However we need UI to control whether @Override should be generated or not.
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/preferences/PreferencesMessages.java
public static String JavaEditorPreferencePage_strings;
	public static String JavaEditorPreferencePage_others;
	public static String JavaEditorPreferencePage_operators;
	public static String JavaEditorPreferencePage_annotations;
	public static String JavaEditorPreferencePage_javaCommentTaskTags;
	public static String JavaEditorPreferencePage_javaDocKeywords;
	public static String JavaEditorPreferencePage_javaDocHtmlTags;
	public static String JavaEditorPreferencePage_javaDocLinks;
	public static String JavaEditorPreferencePage_javaDocOthers;
	public static String JavaEditorPreferencePage_backgroundColor;
	public static String JavaEditorPreferencePage_systemDefault;
	public static String JavaEditorPreferencePage_custom;
	public static String JavaEditorPreferencePage_semanticHighlighting_option;
	public static String JavaEditorPreferencePage_foreground;
	public static String JavaEditorPreferencePage_color;
	public static String JavaEditorPreferencePage_bold;
	public static String JavaEditorPreferencePage_italic;
	public static String JavaEditorPreferencePage_strikethrough;
	public static String JavaEditorPreferencePage_underline;
	public static String JavaEditorPreferencePage_enable;
	public static String JavaEditorPreferencePage_preview;
	public static String JavaEditorPreferencePage_displayedTabWidth;
	public static String JavaEditorPreferencePage_insertSpaceForTabs;
	public static String JavaEditorPreferencePage_showOverviewRuler;
	public static String JavaEditorPreferencePage_highlightMatchingBrackets;
	public static String JavaEditorPreferencePage_highlightCurrentLine;
	public static String JavaEditorPreferencePage_showPrintMargin;
	public static String JavaEditorPreferencePage_printMarginColumn;
	public static String JavaEditorPreferencePage_insertSingleProposalsAutomatically;
	public static String JavaEditorPreferencePage_showOnlyProposalsVisibleInTheInvocationContext;