Docker image for OpenJDK