25  * @test

    25  * @test

    26  * @bug 4453032

    26  * @bug 4453032

    27  * @summary overridden interface method causes the compiler to reject cast

    27  * @summary overridden interface method causes the compiler to reject cast

    28  * @author gafter

    28  * @author gafter

    29  *

    29  *

    31  */

    31  */

    32 

    32 

    33 public class InterfaceCast1 {

    33 public class InterfaceCast1 {

    34     public static void main(String[] args) throws Exception {

    34     public static void main(String[] args) throws Exception {

    35     }

    35     }