From dbd873c8ec0bb932cb7e69c3abc1faf68683eb9e Mon Sep 17 00:00:00 2001
From: Alex <apuret@e-biz.fr>
Date: Thu, 27 Aug 2020 10:40:44 +0200
Subject: [PATCH] chore: increase theia-java to 1.4.0

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index b0a3e1ca..d840566b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-FROM theiaide/theia-java:1.3.0
+FROM theiaide/theia-java:1.4.0
 
 COPY plugins /home/plugins
 COPY server.js /home/theia/src-gen/backend/server.js
-- 
GitLab