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_selectionForegroundColor;
	public static String SpellingPreferencePage_empty_threshold;
	public static String SpellingPreferencePage_invalid_threshold;
	public static String SpellingPreferencePage_ignore_digits_label;
	public static String SpellingPreferencePage_ignore_mixed_label;
	public static String SpellingPreferencePage_ignore_sentence_label;
	public static String SpellingPreferencePage_ignore_upper_label;
	public static String SpellingPreferencePage_ignore_url_label;
	public static String SpellingPreferencePage_proposals_threshold;
	public static String SpellingPreferencePage_dictionary_label;
	public static String SpellingPreferencePage_workspace_dictionary_label;
	public static String SpellingPreferencePage_browse_label;
	public static String SpellingPreferencePage_dictionary_error;
	public static String SpellingPreferencePage_locale_error;
	public static String SpellingPreferencePage_filedialog_title;
	public static String SpellingPreferencePage_filter_dictionary_extension;
	public static String SpellingPreferencePage_filter_all_extension;
	public static String SpellingPreferencePage_filter_dictionary_label;
	public static String SpellingPreferencePage_filter_all_label;
	public static String SpellingPreferencePage_enable_contentassist_label;
	public static String SpellingPreferencePage_preferences_user;
	public static String SpellingPreferencePage_preferences_engine;
	public static String SpellingPreferencePage_preferences_advanced;
	public static String BuildPathPreferencePage_title;
	public static String BuildPathPreferencePage_description;
	public static String UserLibraryPreferencePage_title;
	public static String UserLibraryPreferencePage_description;
	public static String UserLibraryPreferencePage_libraries_label;
	public static String UserLibraryPreferencePage_libraries_new_button;
	public static String UserLibraryPreferencePage_libraries_edit_button;