/tests/bugs161/pr231187/

• ../
• Cement.java
• ConcreteClass.java
• Main.java
• SuperClass.java
• SuperClassAspect.aj
• WetCement.java