报错信息： Professor，The public type Professor must be defined in its own file

报这个错误是因为你在Java中尝试在一个文件中同时定义了公共访问修饰符（public）的类`Professor`，而Java的规定是，如果一个类是public的，那么它应该单独放在一个源文件中（`.java`文件），而不是和其他类在同一文件内。

例如，如果你有一个名为`Teacher.java`的文件，其中包含了`Teacher`基类和`Professor`子类，当你试图将`Professor`声明为public时，Java期望你将其移到一个新的独立文件`Professor.java`中：

**Teacher.java**

// 原来的Teacher类，可能还有其他非公共类
public abstract class Teacher {
    // ...
}

**Professor.java**

// 将Professor移动到这个独立文件
public class Professor extends Teacher {
    public Professor() {
        // ...
    }
    // ...
}

现在你可以将`Professor`类从`Teacher.java`移除，并保存为单独的文件，错误就应该解决了。