Returns the time the content of this File
was last modified.
The return value is used to decide whether to reparse a
Source or not. Reparsing is done if the value returned
here differs from the value returned at the last processing
time.
long a modification time