tomcat指定特定版本的jdk

我是通过修改两个文件：

setclasspath.bat和catalina.bat文件

linux在文件开头各自加上

export JAVA_HOME=/home/jdk/Java\jdk7\jdk1.7.0_51
export JRE_HOME=/home/jdk/Java\jdk7\jre7

windows

set JAVA_HOME=D:\Program Files\Java\jdk7\jdk1.7.0_51
set JRE_HOME=D:\Program Files\Java\jdk7\jre7