JavaPatternMatching/resources/AllgemeinTest/TestSubTypless.jav