diff --git a/.github/workflows/maven.yml b/.github/workflows/maven.yml
index 81048ea215..b821688688 100644
--- a/.github/workflows/maven.yml
+++ b/.github/workflows/maven.yml
@@ -40,6 +40,9 @@ jobs:
     - name: Build with Maven
       run: mvn --batch-mode --update-snapshots install
 
+    - name: Build the Docker image
+      run: docker build . --file Dockerfile
+
     - name: Generate JaCoCo Badge
       id: jacoco
       uses: cicirello/jacoco-badge-generator@v2
diff --git a/Dockerfile b/Dockerfile
index 8b7755deae..7afe671f85 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,16 +12,14 @@ RUN apt-get update && \
     apt-get install -y sudo && \
     apt-get install -y wget && \
     apt-get install -y maven && \
-    apt-get install -y cmake && \
-    apt-get install -y autoconf && \
-    apt-get install -y automake && \
+    apt-get install -y openjdk-17-jdk && \
+    apt-get install -y openjdk-17-jre && \
     apt-get install -y graphviz
 
 # Install Dat3M
 RUN cd home && \
     git clone --branch development https://github.com/hernanponcedeleon/Dat3M.git && \
     cd Dat3M && \
-    chmod 755 Dartagnan-SVCOMP.sh && \
     mvn clean install -DskipTests
 
 # symlink for clang
@@ -30,5 +28,4 @@ RUN ln -s clang-12 /usr/bin/clang
 ENV DAT3M_HOME=/home/Dat3M
 ENV DAT3M_OUTPUT=$DAT3M_HOME/output
 ENV CFLAGS="-I$DAT3M_HOME/include"
-ENV OPTFLAGS="-mem2reg -sroa -early-cse -indvars -loop-unroll -fix-irreducible -loop-simplify -simplifycfg -gvn"
-ENV LD_LIBRARY_PATH=/usr/local/lib
\ No newline at end of file
+ENV OPTFLAGS="-mem2reg -sroa -early-cse -indvars -loop-unroll -fix-irreducible -loop-simplify -simplifycfg -gvn"
\ No newline at end of file