file.lastModified() question

[Serban Alex]

I want to convert the return value in a "human readable value"
Is there any function to convert to that form?

Returns:
    A long value representing the time the file was last modified, measured in milliseconds since the epoch (00:00:00 GMT, January 1, 1970), or 0L if the file does not exist or if an I/O error occurs

[Ernest Friedman-Hill]

"new java.util.Date(theValue).toString()" is the most direct way. There are plenty of other things you can do to have control over the format.