Sign in
eclipse
/
jeetools
/
webtools.javaee
/
590cc8515b735751c782bf15ef3a6a5509ef1707
/
.
/
plugins
/
org.eclipse.jst.j2ee.jca.ui
/
.settings
tree: 261be86884499f28e60086828c844852eec34ec1
org.eclipse.jdt.core.prefs