diff options
author | Stephan Herrmann | 2020-05-18 13:15:27 +0000 |
---|---|---|
committer | Stephan Herrmann | 2020-05-18 13:26:03 +0000 |
commit | 3c7c941c3c45317df1b273767698f62f60de914f (patch) | |
tree | 31f3cf96ec442dc874c47dd0ce5b05bd532cf211 | |
parent | baa72b2d647bbaed44f058f5813ebda53de453b4 (diff) | |
download | eclipse.jdt.core-3c7c941c3c45317df1b273767698f62f60de914f.tar.gz eclipse.jdt.core-3c7c941c3c45317df1b273767698f62f60de914f.tar.xz eclipse.jdt.core-3c7c941c3c45317df1b273767698f62f60de914f.zip |
Bug 528108 - Add @Override to jdt.coreI20200519-1800I20200519-1130I20200519-1010I20200518-2220I20200518-1800
- @Override should be added by developers, not automatically
Change-Id: I96e07d7d9ff6b05bca4a13bedd8cfe5baa92484b
-rw-r--r-- | org.eclipse.jdt.core/.settings/org.eclipse.jdt.ui.prefs | 4 |
1 files changed, 2 insertions, 2 deletions
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 80dd18ba46..d05be548db 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_annotations=true 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 |