gerrit.onosproject.org / onos-felix / b18d3b53dd1e3c023437a9631aacd4c8cb2b839a / dependencymanager / release / .settings / org.eclipse.jdt.core.prefs