8d83558 Do not override JAVA_HOME set by user

Authored and Committed by mizdebsk 2 years ago
    Do not override JAVA_HOME set by user
    
        
file modified
+4 -2
file modified
+5 -1