ICYMI I've changed the jdk13 build job into a jdk15 build job on Jenkins. Related (fixed) issue: PDFBOX-4799. Tilman --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscribe@pdfbox.apache.org For additional commands, e-mail: dev-help@pdfbox.apache.org