Source for https://reddening.cerit-sc.cz/
The demo java program seals the pdf document using PKCS7 API.
