如何在glpk shell脚本中修改Java路径

Question

我安装libjlpk-java-1.12.0时遇到以下异常。 我运行命令如下：make check， 结果如下：

cd ../examples/java; /opt/taobao/java/javac -source 1.8 -target 1.8 -classpath ../../swig/glpk-java.jar Gmpl.java
cd ../examples/java; java -Djava.library.path=../../swig/.libs -classpath ../../swig/glpk-java.jar:. Gmpl marbles.mod

#A fatal error has been detected by the JRE
#JRE version:OpenJDK Runtime Environment(8.0_152-b211), Failed to write core dump.

因此，我认为调用javac和java时使用了不同的java版本。因此，如何指示特定的Java命令位置或其版本。