/tests/bugs154/pr172107/

• ../
• Instrumentation.aj
• ReadWriteAJBug172107.java