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_presentProposalsInAlphabeticalOrder;
	public static String JavaEditorPreferencePage_coloring_element;
	public static String JavaEditorPreferencePage_enableAutoActivation;
	public static String JavaEditorPreferencePage_automaticallyAddImportInsteadOfQualifiedName;
	public static String JavaEditorPreferencePage_completionInserts;
	public static String JavaEditorPreferencePage_completionOverwrites;
	public static String JavaEditorPreferencePage_fillArgumentNamesOnMethodCompletion;
	public static String JavaEditorPreferencePage_guessArgumentNamesOnMethodCompletion;
	public static String JavaEditorPreferencePage_autoActivationDelay;
	public static String JavaEditorPreferencePage_autoActivationTriggersForJava;
	public static String JavaEditorPreferencePage_autoActivationTriggersForJavaDoc;
	public static String JavaEditorPreferencePage_completePrefixes;
	public static String JavaEditorPreferencePage_codeAssist_colorOptions;
	public static String JavaEditorPreferencePage_codeAssist_color;
	public static String JavaEditorPreferencePage_backgroundForCompletionProposals;
	public static String JavaEditorPreferencePage_foregroundForCompletionProposals;
	public static String JavaEditorPreferencePage_backgroundForMethodParameters;
	public static String JavaEditorPreferencePage_foregroundForMethodParameters;
	public static String JavaEditorPreferencePage_backgroundForCompletionReplacement;
	public static String JavaEditorPreferencePage_foregroundForCompletionReplacement;
	public static String JavaEditorPreferencePage_general;
	public static String JavaEditorPreferencePage_colors;
	public static String JavaEditorPreferencePage_empty_input;
	public static String JavaEditorPreferencePage_invalid_input;
	public static String JavaEditorPreferencePage_showLineNumbers;
	public static String JavaEditorPreferencePage_lineNumberForegroundColor;
	public static String JavaEditorPreferencePage_matchingBracketsHighlightColor2;
	public static String JavaEditorPreferencePage_currentLineHighlighColor;
	public static String JavaEditorPreferencePage_printMarginColor2;
	public static String JavaEditorPreferencePage_findScopeColor2;