Mismatch in Java implementations

[mernst]

At https://github.com/SRI-CSL/descert-example/tree/new-daikon, the README says:

Using circleci/openjdk:8-jdk Docker image
Build Docker image
› docker build -t descert/descert-example-circleci -f docker/Dockerfile .

However, file docker/Dockerfile starts with

FROM amazoncorretto:8-alpine-full

I suspect that the docker/Dockerfile in that command should be some other file name -- maybe docker/Dockerfile-circleci-img.txt.

(I'm not blocked on this.)