PR12915.java   [plain text]

public class PR12915 {
  public static void main(String[] args)
  {
    System.out.println(((String) null) + "");
  }
}