Java 如何更改Tomcats JVM版本？

我在Debian机器上安装了JavaJDK1.7.0Ø21（以及其他机器）。我已将Debain配置为使用此JDK：

pi@raspberrypi ~ $ java -version
java version "1.7.0_21"
Java(TM) SE Runtime Environment (build 1.7.0_21-b11)
Java HotSpot(TM) Client VM (build 23.21-b01, mixed mode)

通过阅读Tomcat catalina.sh中的注释，我了解到Tomcat服务器应该使用

JAVA\u HOME

/

JRE\u HOME

系统变量

#   JAVA_HOME       Must point at your Java Development Kit installation.
#                   Required to run the with the "debug" argument.
#
#   JRE_HOME        Must point at your Java Development Kit installation.
#                   Defaults to JAVA_HOME if empty.

我已将它们设置到正确的目录。回显变量会产生以下输出：

pi@raspberrypi ~ $ echo $JAVA_HOME
/opt/Oracle_Java/jdk1.7.0_21/bin
pi@raspberrypi ~ $ echo $JRE_HOME
/opt/Oracle_Java/jdk1.7.0_21/jre

然而，Tomcat Web应用程序管理器仍然将1.6.0_27-b27显示为正在使用的JVM

---

关于如何让Tomcat使用1.7.0_21 JDK运行，您有什么建议吗？

导航到Tomcat安装的目录，并进入\bin文件夹（/Tomcat/bin）。右键单击文件catalina.bat，然后选择“编辑”

向下滚动代码，直到传递开头“rem”注释的末尾，然后插入指向JDK根目录的以下代码：

     set JAVA_HOME=/opt/Oracle_Java/jdk1.7.0_21

---

保存更改，然后重新启动Tomcat。

我没有使用Windows。您是使用.deb包安装Tomcat还是从Tomcat.apache.org下载Tomcat？我已通过apt get安装。仔细看，似乎我运行的Tomcat6似乎与Java1.7（）不兼容。所以我要先调查一下。非常感谢。