>Java程序源文件的后缀必须是.java,不能是其他文件后缀名.
>通常情况下,Java程序源文件上的主文件名可以是任意的.但有一情况例外,如果java程序源代码里定义了一个public类,则该源文件的主文件名必须与public类(也就是该类定义使用了public关键字修饰)的类名相同.
​