tree 7e2cfe88159588fb777dd4c3e0caf576ced45f5f
parent fb7d7eeab5d2c7b33fbd93ea9db28e6410c4fa30
author Marc R. Hoffmann <hoffmann@mountainminds.com> 1494258770 +0200
committer Marc R. Hoffmann <hoffmann@mountainminds.com> 1494258770 +0200

Increase checked size for build result

We have a new all-in JAR and the Java 9 builds produce bigger JavaDoc
output.