org.aspectj/tests/bugs161/pr231187/Cement.java

package concrete;

public interface Cement {
   public int getWeight();
}