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