package fr.imag.adele.apam.pax.distriman.test.iface;

public interface P1Spec {

}