Index: .settings/org.eclipse.jdt.core.prefs
===================================================================
--- .settings/org.eclipse.jdt.core.prefs	(revision 79)
+++ .settings/org.eclipse.jdt.core.prefs	(revision 86)
@@ -1,3 +1,3 @@
-#Mon Apr 03 21:11:54 CEST 2006
+#Fri Apr 21 12:51:47 CEST 2006
 eclipse.preferences.version=1
 org.eclipse.jdt.core.formatter.align_type_members_on_columns=false
@@ -68,5 +68,5 @@
 org.eclipse.jdt.core.formatter.indent_switchstatements_compare_to_switch=false
 org.eclipse.jdt.core.formatter.indentation.size=4
-org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=insert
+org.eclipse.jdt.core.formatter.insert_new_line_after_annotation=do not insert
 org.eclipse.jdt.core.formatter.insert_new_line_after_opening_brace_in_array_initializer=do not insert
 org.eclipse.jdt.core.formatter.insert_new_line_at_end_of_file_if_missing=do not insert
Index: .settings/org.eclipse.jdt.ui.prefs
===================================================================
--- .settings/org.eclipse.jdt.ui.prefs	(revision 79)
+++ .settings/org.eclipse.jdt.ui.prefs	(revision 86)
@@ -1,3 +1,3 @@
-#Mon Apr 03 21:08:35 CEST 2006
+#Fri Apr 21 12:51:47 CEST 2006
 eclipse.preferences.version=1
 formatter_profile=_josm