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);

Beginne bei XmlDocumentManager.write(DocumentDescriptor desc, WriteHandle handle) und untersuche dessen Schnittstelle, Implementierungen und vorhandenen Tests. Aktualisiere die API so, dass der Schreibvorgang den aktualisierten DocumentDescriptor mit der neuen Dokumentversion zurückgibt, und überprüfe anschließend das betroffene Schreibverhalten und die Aufrufer.