void (@NotNull VirtualFile file, boolean reloadContentFromFS, long newModificationStamp, long newLength, long newTimestamp) { if (reloadContentFromFS) { setFlag(file, Flags.MUST_RELOAD_CONTENT, true); } int fileId = getFileId(file); setLength(fileId, newLength); vfsPeer.setTimestamp(fileId, newTimestamp); ((VirtualFileSystemEntry)file).setModificationStamp(newModificationStamp); }