Andrea Dell'Amico 3826c28cf3 When we use the openjdk from the Zulu repo, remove the openjdk distribution packages.		2019-05-07 12:02:15 +02:00
..
main.yml	When we use the openjdk from the Zulu repo, remove the openjdk distribution packages.	2019-05-07 12:02:15 +02:00