package test0573; public class Y extends X { }