public class Sub
  extends Super
{
  public String toString()
  {
    return "SUB";
  } // toString
} // class Sub