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

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