现有一个Java源文件，其中包含有一个名为Example的public类，为了成功编译该文件，需要满足：（）。

现有一个Java源文件，其中包含有一个名为Example的public类，为了成功编译该文件，需要满足：（）。
A.源文件必须导入java.lang包
B.源文件必须声明一个main（）方法
C.源文件必须为Example.java
D.源文件必须具有package包语句
正确答案：源文件必须为Example.java