tree 789eba34c33d8e94f3a27319a6f28a0ca9b16536
parent 430ac1ce4cd7984b0be83b1e6b4b86dfd83e0e24
author Robert Munteanu <rombert@apache.org> 1600183728 +0200
committer Robert Munteanu <rombert@apache.org> 1600183728 +0200

Jenkins: run against Java 15 instead of 14

15 is now the latest released version