examples/org.eclipse.e4.demo.simpleide.navigator/.settings/org.eclipse.jdt.ui.prefs

#Fri Jun 04 16:07:53 EDT 2010
eclipse.preferences.version=1
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=;
org.eclipse.jdt.ui.ondemandthreshold=99
org.eclipse.jdt.ui.staticondemandthreshold=99