PR12656.java   [plain text]

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

public class PR12656 extends PR12656_base
{
}