/tests/bugs172/pr394535/

• ../
• Bug.java
• Bug2.java