Index: jrst2/.settings/org.eclipse.core.resources.prefs
diff -u /dev/null jrst2/.settings/org.eclipse.core.resources.prefs:1.1
--- /dev/null	Fri May  4 16:23:33 2007
+++ jrst2/.settings/org.eclipse.core.resources.prefs	Fri May  4 16:23:28 2007
@@ -0,0 +1,3 @@
+#Fri May 04 12:04:05 CEST 2007
+eclipse.preferences.version=1
+encoding/<project>=UTF-8