test/tools/javac/generics/GetClass2.java

*** 25,35 ****
   * @test
   * @bug 4982096 5004321
   * @summary the type of x.getClass() is Class<? extends |X|>
   * @author seligman
   *
!  * @compile -source 1.5 GetClass2.java
   * @run main GetClass2
   */
  
  public class GetClass2 {
      public static void main(String[] args) {
--- 25,35 ----
   * @test
   * @bug 4982096 5004321
   * @summary the type of x.getClass() is Class<? extends |X|>
   * @author seligman
   *
!  * @compile  GetClass2.java
   * @run main GetClass2
   */
  
  public class GetClass2 {
      public static void main(String[] args) {