no jenkins deb package to avoid install of java 7