From 520d02a0c791a15c00ed5884a952b1e88e1c5f52 Mon Sep 17 00:00:00 2001
From: pirast <ma@jgs-wg.de>
Date: Sun, 2 Jun 2019 18:18:31 +0200
Subject: [PATCH 1/2] fix java download not working by replacing it with azul
 java

---
 Dockerfile | 23 ++++++++++++-----------
 1 file changed, 12 insertions(+), 11 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 8e4bd3a..c269fc2 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -4,13 +4,9 @@ MAINTAINER Kasper Luckow <kasper.luckow@sv.cmu.edu>
 #############################################################################
 # Setup base image 
 #############################################################################
-RUN \
-  apt-get update -y && \
-  apt-get install software-properties-common -y && \
-  echo oracle-java8-installer shared/accepted-oracle-license-v1-1 select true | debconf-set-selections && \
-  add-apt-repository ppa:webupd8team/java -y && \
-  apt-get update -y && \
-  apt-get install -y oracle-java8-installer \
+RUN apt-get update && \
+  apt-get install -y \
+				software-properties-common \
                 ant \
                 maven \
                 git \
@@ -18,16 +14,19 @@ RUN \
                 build-essential \
                 python \
                 antlr3 \
-                && \
-  rm -rf /var/lib/apt/lists/* && \
-  rm -rf /var/cache/oracle-jdk8-installer
+				wget
+               
+
+RUN wget https://cdn.azul.com/zulu/bin/zulu8.38.0.13-ca-jdk8.0.212-linux_amd64.deb
+RUN dpkg -i zulu8.38.0.13-ca-jdk8.0.212-linux_amd64.deb
+RUN rm zulu8.38.0.13-ca-jdk8.0.212-linux_amd64.deb
 
 #############################################################################
 # Environment 
 #############################################################################
 
 # set java env
-ENV JAVA_HOME /usr/lib/jvm/java-8-oracle
+ENV JAVA_HOME /usr/lib/jvm/zulu-8-amd64
 ENV JUNIT_HOME /usr/share/java
 
 RUN mkdir /jdart-project
@@ -90,3 +89,5 @@ WORKDIR ${JDART_DIR}
 RUN git clone https://github.com/psycopaths/jdart.git 
 WORKDIR ${JDART_DIR}/jdart
 RUN ant
+
+CMD ["/jdart-project/jpf-core/bin/jpf"]

From 857c34c6006d908dca0484bad31e0b7d8428a0c6 Mon Sep 17 00:00:00 2001
From: pirast <ma@jgs-wg.de>
Date: Sun, 2 Jun 2019 18:20:05 +0200
Subject: [PATCH 2/2] kick out cmd option (not a good idea)

---
 Dockerfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index c269fc2..6f2c19b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -88,6 +88,4 @@ RUN cp /root/.m2/repository/com/microsoft/z3/4.4.1/z3-4.4.1.jar /root/.jconstrai
 WORKDIR ${JDART_DIR}
 RUN git clone https://github.com/psycopaths/jdart.git 
 WORKDIR ${JDART_DIR}/jdart
-RUN ant
-
-CMD ["/jdart-project/jpf-core/bin/jpf"]
+RUN ant
\ No newline at end of file