Sign in
eclipse
/
servertools
/
webtools.servertools
/
7dfa1c99b3cbba0d7ade7ce558a9b92d594a8d7c
/
.
/
plugins
/
org.eclipse.wst.server.ui
/
.settings
/
org.eclipse.jdt.ui.prefs
blob: f67781811757f26cbb1530f1a5b5d33e349cb31c [
file
] [
log
] [
blame
]
#Wed Apr 14 16:36:20 EDT 2010
eclipse
.
preferences
.
version
=
1
org
.
eclipse
.
jdt
.
ui
.
ignorelowercasenames
=
true
org
.
eclipse
.
jdt
.
ui
.
ondemandthreshold
=
4
org
.
eclipse
.
jdt
.
ui
.
importorder
=
java
;
javax
;
org
;
com
;
org
.
eclipse
.
jdt
.
ui
.
staticondemandthreshold
=
4