configure javadoc source version (!7) · Merge requests · giscience / big-data / ohsome / parent · GitLab

Merged Martin Raifer requested to merge javadoc-workaround into master Jun 24, 2020

to work around https://bugs.openjdk.java.net/browse/JDK-8212233