Docker images for OpenJDK-7-JRE