test/tools/javac/generics/ParametricException.java

*** 25,35 ****
   * @test
   * @bug 4509267
   * @summary generics: parametric exception type versus overriding
   * @author gafter
   *
!  * @compile -source 1.5 ParametricException.java
   */
  
  import java.io.*;
  
  abstract class AChurchBoolean {
--- 25,35 ----
   * @test
   * @bug 4509267
   * @summary generics: parametric exception type versus overriding
   * @author gafter
   *
!  * @compile  ParametricException.java
   */
  
  import java.io.*;
  
  abstract class AChurchBoolean {