IDEA Error:java:无效的源发行版:13的解决过程

package com.tjrac.d13_interface_jdk8;

public interface SportManInter {
    /*
        1、JDK8新增：默认方法(实例方法)
        -- 必须default修饰，默认public
        --默认方法，接口不能创建对象，接口被实现类实现后调用只能用：实现类对象.默认方法
     */
    default void run(){
        System.out.println("跑得快");
        //hhh();
    }
    /*
        2、静态方法
        -- 必须static修饰，默认public
     */
    static void study(){
        System.out.println("我们都在学习");
    }
    /*
        3、JDK9开始支持的私有方法
        必须在接口内部才可以访问
     */
    //private void hhh(){
    //    System.out.println("笑哈哈");
    //}
}

class PingPongMan implements SportManInter{
}

class Test{
    public static void main(String[] args) {
        PingPongMan man = new PingPongMan();
        man.run();

        SportManInter.study();//接口名直接调用接口的静态方法
        //man.study();//不能用实现类的对象来调用
    }
}