diff --git a/plugins/org.eclipse.xtext.ide/.settings/org.eclipse.jdt.ui.prefs b/plugins/org.eclipse.xtext.ide/.settings/org.eclipse.jdt.ui.prefs index f6caf5998..389acb86b 100644 --- a/plugins/org.eclipse.xtext.ide/.settings/org.eclipse.jdt.ui.prefs +++ b/plugins/org.eclipse.xtext.ide/.settings/org.eclipse.jdt.ui.prefs @@ -1,4 +1,3 @@ -#Wed Oct 14 22:36:24 CEST 2009 cleanup.add_default_serial_version_id=true cleanup.add_generated_serial_version_id=false cleanup.add_missing_annotations=true @@ -64,7 +63,7 @@ org.eclipse.jdt.ui.keywordthis=false org.eclipse.jdt.ui.ondemandthreshold=99 org.eclipse.jdt.ui.overrideannotation=true org.eclipse.jdt.ui.staticondemandthreshold=1 -org.eclipse.jdt.ui.text.custom_code_templates= +org.eclipse.jdt.ui.text.custom_code_templates=