gerrit.onosproject.org / onos-felix / 05d1e9241854eac4920e0b3bd2f8b5aaabbcb41e / ipojo / bnd-ipojo-plugin / .settings / org.eclipse.jdt.core.prefs