commit 3c7c941c3c45317df1b273767698f62f60de914f
author Stephan Herrmann <stephan.herrmann@berlin.de> Mon May 18 15:15:27 2020 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> Mon May 18 15:26:03 2020 +0200
tree 31f3cf96ec442dc874c47dd0ce5b05bd532cf211
parent baa72b2d647bbaed44f058f5813ebda53de453b4

Bug 528108 - Add @Override to jdt.core

- @Override should be added by developers, not automatically

Change-Id: I96e07d7d9ff6b05bca4a13bedd8cfe5baa92484b

org.eclipse.jdt.core/.settings/org.eclipse.jdt.ui.prefs

diff --git a/org.eclipse.jdt.core/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jdt.core/.settings/org.eclipse.jdt.ui.prefs
index 80dd18b..d05be54 100644
--- a/org.eclipse.jdt.core/.settings/org.eclipse.jdt.ui.prefs
+++ b/org.eclipse.jdt.core/.settings/org.eclipse.jdt.ui.prefs
@@ -59,8 +59,8 @@
 sp_cleanup.add_missing_deprecated_annotations=false
 sp_cleanup.add_missing_methods=false
 sp_cleanup.add_missing_nls_tags=false
-sp_cleanup.add_missing_override_annotations=true
-sp_cleanup.add_missing_override_annotations_interface_methods=true
+sp_cleanup.add_missing_override_annotations=false
+sp_cleanup.add_missing_override_annotations_interface_methods=false
 sp_cleanup.add_serial_version_id=false
 sp_cleanup.always_use_blocks=true
 sp_cleanup.always_use_parentheses_in_expressions=false