Can be used to specify additional options when saving a document into the SaveFormat.DOCLING format in Java....save a document into a Docling JSON format. Document doc = new Document(getMyDir()..."DoclingSaveOptions.DoclingJson.json", saveOptions); Methods Method...