Merge branch 'pr-133'

Author: joschi

pom.xml

@@ -210,7 +210,7 @@
             <plugin>
                 <groupId>org.apache.maven.plugins</groupId>
                 <artifactId>maven-javadoc-plugin</artifactId>
-                <version>3.1.1</version>
+                <version>3.2.0</version>
                 <configuration>
                     <quiet>true</quiet>
                     <nonavbar>true</nonavbar>