A Java Development Kit (JDK) image for Docker