// "Seal class" "true"

public non-sealed class Ma<caret>in { }

class Direct extends Main {}