at my local pc there were some javadoc errors
approved this merge request
merged
mentioned in commit 319eae9f