FROM loblaw/java8 #------- set up RUN apt-get update -y && apt-get upgrade -y RUN apt-get install -y ant git wget #------ download hamcrest and junit RUN wget https://search.maven.org/remotecontent?filepath=org/hamcrest/hamcrest-core/1.3/hamcrest-core-1.3.jar RUN wget https://search.maven.org/remotecontent?filepath=junit/junit/4.13-beta-3/junit-4.13-beta-3.jar RUN git clone https://github.com/javapathfinder/jpf-core.git --single-branch java-8 ENTRYPOINT ["java-8/bin/jpf"]