Feature request: XmlDocumentManager.write() returns an updated DocumentDescriptor

We would like to use the optimistic read feature on XmlDocumentManager.read(DocumentDescriptor desc, String uri). To use it effiently we would store the latest DocumentDescriptor and document in memory on our client side, thus when XmlDocumentManager.read(DocumentDescriptor descr, String uri) returns null - signalling that the content on the server has not changed in between - we know that our descriptor and document in memory is up to date.

Request: to close the loop we would need to enhance the XmlDocumentManager's write method to return the updated DocumentDescriptor (with the updated document version number inside) like this:

DocumentDescriptor write(DocumentDescriptor desc, WriteHandle handle);

Start at XmlDocumentManager.write(DocumentDescriptor desc, WriteHandle handle) and inspect its interface, implementations, and existing tests. Update the API so the write operation returns the updated DocumentDescriptor containing the new document version, then verify the affected write behavior and callers.