org.aspectj/tests/bugs161/pr231187x/WetCement.java

package concrete;

public class WetCement {
   boolean wet = true;
   public int getWeight() { return 5; }
}