tree d336a79493b50647f445ff8e308dda6c731697f0
parent fc881396602193d88a82286f44512ce733d590dd
author Jean-Louis Monteiro <jlmonteiro@tomitribe.com> 1645695834 +0100
committer Jean-Louis Monteiro <jlmonteiro@tomitribe.com> 1645695834 +0100

Avoid javadoc failures on JDK8 and upper