From 555ea2dfc5d42794be84e82e326b80d285f871a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juan=20Antonio=20Bren=CC=83a=20Moral?=
 <bren@juanantonio.info>
Date: Fri, 30 Mar 2018 16:02:25 +0200
Subject: [PATCH] renaming zip with the build. Using this way it is possible to
 install more version later.

---
 modules/java.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/modules/java.sh b/modules/java.sh
index a4e7c6e..5516edd 100644
--- a/modules/java.sh
+++ b/modules/java.sh
@@ -3,7 +3,8 @@
 function installJavaForEV3(){
     wget https://github.com/ev3dev-lang-java/openjdk-ev3/releases/download/v0.4.5/jri10-ev3.tar.gz
     tar -zxvf "/home/robot/installer/jri10-ev3.tar.gz" -C /opt
-    update-alternatives --install /usr/bin/java java /opt/jri10-ev3/bin/java 1
+    mv /opt/jri-ev3/ /opt/jri-10-build-46
+    update-alternatives --install /usr/bin/java java /opt/jri-10-build-46/bin/java 1
     java -version
 }