public void SetAtLeastPdfVersion(char version) { if (version > header_version) { PdfVersion = version; } }