/tests/bugs153/pr148908/

• ../
• BadInterface.java