/tests/bugs153/pr151772/

• ../
• Softener.aj
• Softener2.aj