code: public void addToCatalog(PdfDictionary catalog) {
  		if(catalog_version != null) {
  			catalog.put(PdfName.VERSION, catalog_version);
  		}
  		if (extensions != null) {
  			catalog.put(PdfName.EXTENSIONS, extensions);
  		}
  	}
docs: Adds the version to the Catalog dictionary.