/tests/bugs154/pr169432/case1/

• ../
• ClassThatAlreadyIncludesRequiredMethods.java
• DeclareParentsForNonMarkerInterfaceToAClassThatAlreadyIncludeRequiredMethods.java
• NonMarkerInterface.java