2.3 protected

Johannes Visintini

@johannes

4c62a791 · Merge branch 'javadoc-workaround' into 'master' · Jun 25, 2020

configure maven javadoc plugin to prevent issues with jdk 11