/test/806-TooWideClassInstanceOf/src/

• ../
• Main.java