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

   1 eclipse.preferences.version=1
   2 formatter_profile=_cacert-gigi
   3 formatter_settings_version=12
   4 org.eclipse.jdt.ui.ignorelowercasenames=true
   5 org.eclipse.jdt.ui.importorder=java;javax;org;com;
   6 org.eclipse.jdt.ui.ondemandthreshold=99
   7 org.eclipse.jdt.ui.staticondemandthreshold=1