platform-ui/plugins/org.eclipse.ui.examples.filesystem/.settings/org.eclipse.jdt.ui.prefs

#Mon Apr 24 14:08:49 EDT 2006
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