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