Where is the public class method File.read() defined? Which take a
file name as parameter, but what is in return? I have search all the
document and source code, just can't find the definition.

Could anyone point me to the source file? I really want to know,
thanks in advance.