diff options
Diffstat (limited to 'org.eclipse.scout.rt.ui.swt/.settings/org.eclipse.jdt.ui.prefs')
| -rw-r--r-- | org.eclipse.scout.rt.ui.swt/.settings/org.eclipse.jdt.ui.prefs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.scout.rt.ui.swt/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.scout.rt.ui.swt/.settings/org.eclipse.jdt.ui.prefs index 5f003c722f..acde688805 100644 --- a/org.eclipse.scout.rt.ui.swt/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.scout.rt.ui.swt/.settings/org.eclipse.jdt.ui.prefs @@ -1,4 +1,3 @@ -#Mon Aug 29 15:15:37 CEST 2011 cleanup.add_default_serial_version_id=true cleanup.add_generated_serial_version_id=false cleanup.add_missing_annotations=true @@ -6,6 +5,7 @@ cleanup.add_missing_deprecated_annotations=false cleanup.add_missing_methods=false cleanup.add_missing_nls_tags=false cleanup.add_missing_override_annotations=true +cleanup.add_missing_override_annotations_interface_methods=true cleanup.add_serial_version_id=false cleanup.always_use_blocks=true cleanup.always_use_parentheses_in_expressions=false @@ -54,7 +54,7 @@ cleanup_settings_version=2 eclipse.preferences.version=1 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true formatter_profile=_Eclipse Scout -formatter_settings_version=11 +formatter_settings_version=12 org.eclipse.jdt.ui.exception.name=e org.eclipse.jdt.ui.gettersetter.use.is=true org.eclipse.jdt.ui.javadoc=true |