/test/075-verification-error/src/

• ../
• BadIfaceImpl.java
• BadInterface.java
• Main.java
• MaybeAbstract.java
• other