.settings/org.eclipse.jdt.ui.prefs

   1 #Fri Nov 19 11:04:13 GMT 2010\r
   2 eclipse.preferences.version=1\r
   3 formatter_profile=org.eclipse.jdt.ui.default_profile\r
   4 formatter_settings_version=11\r