chore: add JAVA_HOME by default

Author: williamfzc

index.py

@@ -41,7 +41,7 @@ def gen_java_and_kotlin_index():
     os.environ["JAVA_HOME"] = "/usr/lib/jvm/java-8-openjdk"
 
     # https://sourcegraph.github.io/scip-java/docs/getting-started.html#run-scip-java-index
-    check_call(["scip-java index --output index.scip"])
+    check_call("scip-java index --output index.scip")
 
 
 def gen_py_index():

utils.py

@@ -8,6 +8,8 @@
 def check_call(commands: typing.Union[str, list]):
     logger.info(f"check calling: {commands}")
     if isinstance(commands, str):
+        # for https://github.com/orgs/community/discussions/25738
+        commands = "JAVA_HOME=/usr/lib/jvm/java-8-openjdk" + " " + commands
         subprocess.check_call(commands, env=os.environ, shell=True)
     else:
         subprocess.check_call(commands, env=os.environ)