JDK 7を使うようにTomcatを変更する方法

TomcatをJDK 7を使用するように変更する方法

現在の環境では、Tomcat 7 + JDK 6を使用しています。 TomcatをJDK 7を使用するように設定する方法は?

環境

  1. Tomcat 7(apt-getインストール)

  2. Debian 7.5

  3. JDK 6およびJDK 7

P.S Tomcat 7 is installed via `apt-get`

Note
このチュートリアルに興味があるかもしれません–Apache Tomcat 8 + JDK 8 on Debian

1. 溶液

このファイル/etc/default/tomcat7JAVA_HOMEを更新します

1.1 Edit /etc/default/tomcat7, update JAVA_HOME

$ sudo vim /etc/default/tomcat7

/etc/default/tomcat7

#...

# The home directory of the Java development kit (JDK). You need at least
# JDK version 1.5. If JAVA_HOME is not set, some common directories for
# OpenJDK, the Sun JDK, and various J2SE 1.5 versions are tried.
#JAVA_HOME=/usr/lib/jvm/openjdk-6-jdk
JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64

#...

1.2 Restart Tomcat, done.

$ sudo service tomcat7 restart

1.3 Check this article to find out which JDK is used by Tomcat.

No SPACE, What the F!
等号「=」の間に余分なスペースがないことを確認してください。「JAVA_HOMEが見つかりません」の原因になります。このバグの修正に何時間も費やしました。

例えば

/etc/default/tomcat7

#...Wrong, SPACE
JAVA_HOME = /usr/lib/jvm/java-7-openjdk-amd64

#...Correct
JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64