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