最近在服务器上部署的服务出了点问题，后来查到是因为JDK版本太高了，程序识别不了，需要把JDK降级。
但是服务器上面跑的程序很多，又不能直接把环境变量改了，所以只能想着怎么把这个出问题的工程服务指定java版本。
网上很多方法是说修改‘tomcat_home’/bin/setclasspath.sh和‘tomcat_home’/bin/catalina.sh，分别在里面加入export JAVA_HOME=JDK路径，然后重启tomcat。
但是我这样做了并不能生效，
后来发现这两个文件除了可以配置JAVA_HOME以外还可以配置JRE_HOME，然后假如两个都有配置的话，则会优先使用JRE_HOME。
于是我就在两个文件里加入export JRE_HOME=JDK目录/jre，我用的是JDK目录里面的jre，然后重启tomcat，成功生效！