tomcat修改JDK版本

windows系统里，tomcat默认是使用系统变量JAVA_HOME的jdk版本，如果需要更换，可以在配置文件手动指定。

在bin\catalina.bat和bin\setclasspath.bat文件，记事本打开编辑，开头的空白处加上：

set JAVA_HOME=D:\jdk\jdk1.8.0_31
set JRE_HOME=D:\jdk\jdk1.8.0_31\jre