// "Seal class" "true"

public class Ma<caret>in { }

class Direct1 extends Main {}
class Direct2 extends Main {}

class NonDirect extends Direct1 {}