diff --git a/theia-extensions/k8s-app/Dockerfile b/theia-extensions/k8s-app/Dockerfile
index da9bac814..c4cb0b7b6 100644
--- a/theia-extensions/k8s-app/Dockerfile
+++ b/theia-extensions/k8s-app/Dockerfile
@@ -5,7 +5,7 @@ RUN apt-get update && apt-get install -y \
   gettext-base \
   git \
   jq \
-  openjdk-8-jdk=8u162-b12-1 openjdk-8-jre=8u162-b12-1 openjdk-8-jdk-headless=8u162-b12-1 openjdk-8-jre-headless=8u162-b12-1 openjdk-8-source=8u162-b12-1 \
+  openjdk-8-jdk openjdk-8-jre openjdk-8-jdk-headless openjdk-8-jre-headless openjdk-8-source=8u162-b12-1 \
   curl
 
 RUN curl -sL https://deb.nodesource.com/setup_8.x | bash - \
diff --git a/theia-extensions/k8s-app/docker-publish.sh b/theia-extensions/k8s-app/docker-publish.sh
new file mode 100755
index 000000000..7a582746f
--- /dev/null
+++ b/theia-extensions/k8s-app/docker-publish.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+
+# Script to build and publish theia-spring-boot docker image
+# to docker-hub.
+
+# The published images makes it slightly easier to run theia+boot support
+# deployments in different contexts.
+
+set -e 
+
+docker_user=kdvolder
+docker build -t ${docker_user}/theia-spring-boot .
+docker push ${docker_user}/theia-spring-boot
\ No newline at end of file