Java开发环境搭建——Tomcat配置

指定tomcat的JDK版本
可能由于种种原因，系统的JAVA_HOME配置的JDK版本并不是当前需要的版本，而tomcat默认使用的是JAVA_HOME的JDK。
可以通过修改tomcat/bin/catalina.bat、tomcat/bin/setclasspath.bat增加：（待验证）
set JAVA_HOME=指定JDK路径
附：代码获取jdk版本等信息

System.out.println(System.getProperty("user.home"));
System.out.println(System.getProperty("java.version"));
System.out.println(System.getProperty("os.name"));
System.out.println(System.getProperty("java.vendor.url"));