Changer la version de Java utilisée par Tomcat

Après avoir installé Tomcat via apt-get, la version du JDK utilisée n’est pas forcément celle dont on a besoin.

Dans mon cas, j’ai installé Tomcat 8 qui utilise par défaut la version 7 de Java, alors que les applications sur lesquelles je travaille sont compilées avec Java 8.

Pour remédier à ce problème, il suffit d’éditer le fichier tomcat8 (ou tomcat7 selon la version installée) qui se trouve dans le répertoire /etc/default/ et modifier la propriété JAVA_HOME.

Cela donne :

JAVA_HOME=/usr/lib/jvm/java-8-openjdk-armhf

Redémarrer alors tomcat :

sudo service tomcat8 restart

Dans l’administration de Tomcat, sur la page d’état du serveur, vous devriez maintenant avoir la bonne version de Java :

jvm_tomcat