public void SetPdfVersion(PdfName version) { if (catalog_version == null || catalog_version.CompareTo(version) < 0) { this.catalog_version = version; } }