PR12656.java

class PR12656_base
{
  public static void main(String[] args)
  {
    System.out.println("Maude");
  }
}

public class PR12656 extends PR12656_base
{
}