diff -r 000000000000 -r a44900f0f001 carbideui/com.nokia.tools.doc/.settings/org.eclipse.jdt.ui.prefs
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/carbideui/com.nokia.tools.doc/.settings/org.eclipse.jdt.ui.prefs	Wed Jul 07 16:18:07 2010 +0530
@@ -0,0 +1,3 @@
+#Tue May 16 01:54:45 EEST 2006
+eclipse.preferences.version=1
+internal.default.compliance=default