Re: [libvirt] [jenkins-ci PATCH 2/2] guests: Use OpenJDK 11 where possible