public PdfDeveloperExtension(PdfName prefix, PdfName baseversion, int extensionLevel) { this.prefix = prefix; this.baseversion = baseversion; this.extensionLevel = extensionLevel; }