Как изменить Tomcat для использования JDK 7

Как изменить Tomcat для использования JDK 7

Текущая среда использует Tomcat 7 + JDK 6. Как настроить Tomcat для использования JDK 7?

Среда

  1. Tomcat 7 (apt-get install)

  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. Решение

ОбновитеJAVA_HOME в этом файле/etc/default/tomcat7

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 no found». Я потратил часы на исправление этой ошибки!

Например

/etc/default/tomcat7

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

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