15511552155315541555155615571558
if (!file.exists()) { throw runtime.newErrnoENOENTError("No such file or directory - " + path); } return runtime.newTime(file.lastModified()); } }
18981899190019011902190319041905190619071908
if (!file.exists()) { throw runtime.newErrnoENOENTError(path); } return runtime.newTime(file.lastModified()); } private void checkClosed(ThreadContext context) { openFile.checkClosed(context.getRuntime()); }