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