Hi Ludo,

Thanks!

Committed those openjdk package changes to master
as commit 998d89ba20121e87664129890a805c91061baaa7.