void (@NotNull VirtualFile f, @NotNull Document d) { f.putUserData(SAVED_DOCUMENT_CONTENT_AND_STAMP_KEY, new ContentAndTimestamps(Clock.getTime(), StoredContent.acquireContent(bytesFromDocument(d)), d.getModificationStamp())); }