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

   1 eclipse.preferences.version=1
   2 formatter_profile=_Jalview
   3 formatter_settings_version=12
   4 org.eclipse.jdt.ui.ignorelowercasenames=true
   5 org.eclipse.jdt.ui.importorder=jalview;java;javax;org;com;
   6 org.eclipse.jdt.ui.ondemandthreshold=99
   7 org.eclipse.jdt.ui.staticondemandthreshold=99
   8 sp_cleanup.use_type_arguments=false