Artifacts of ch.ethz.iks.r_osgi.remote #15