using jre instead of jdk, which uses devel, and jenkins does not need that