More javadocs

[jabaws.git] / .settings / org.eclipse.jdt.ui.prefs

diff --git a/.settings/org.eclipse.jdt.ui.prefs b/.settings/org.eclipse.jdt.ui.prefs
new file mode 100644 (file)
index 0000000..87b6dd9
--- /dev/null
+++ b/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,4 @@
+#Fri Nov 19 11:04:13 GMT 2010\r
+eclipse.preferences.version=1\r
+formatter_profile=org.eclipse.jdt.ui.default_profile\r
+formatter_settings_version=11\r