/protocols/bundles/ch.ethz.iks.r_osgi.remote/.settings/
../
org.eclipse.jdt.core.prefs
org.eclipse.jdt.launching.prefs
org.eclipse.pde.prefs