/tests/bugs150/pr87530/

• ../
• FinalITDMOnInterface.aj
• FinalITDMOnInterface2.aj