This is an abstract base class for classes that allow the user To specify additional options when saving a Document inTo a particular format in Java.... Document doc = new Document(getMyDir() + "Rendering...setExportDocumentPro(true); doc.save(getArtifactsDir() + "HtmlSaveOptions...