From 997151e394791e0af68eab6f5795e9b565dd23e1 Mon Sep 17 00:00:00 2001
From: Fabio Scotto di Santolo <fabio.scottodisantolo@gmail.com>
Date: Sat, 21 Mar 2020 15:44:07 +0100
Subject: [PATCH] modifica java home

---
 .profile.d/java.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.profile.d/java.sh b/.profile.d/java.sh
index 2e4028d..77d4f52 100644
--- a/.profile.d/java.sh
+++ b/.profile.d/java.sh
@@ -1,2 +1,2 @@
-JAVA_HOME=/usr/lib/jvm/default
+JAVA_HOME=/Library/Java/JavaVirtualMachines/jdk-13.0.2.jdk/Contents/Home
 export JAVA_HOME