parts of the tomcat config files from /etc/default ignored ?

[pmauduit]

I tried to configure the tomcat-georchestra so that it uses the openjdk11 installed, but modifying the /etc/default/tomcat-georchestra configuration file did not make it.

It seems that the way to change the jre being used by the service is to edit /etc/systemd/system/multi-user.target.wants/[email protected].

So we might remove the JAVA_HOME env varible from the /etc/default/tomcat* files, as spawning the JRE is systemd's job actually, and can't be configured there.

[pmauduit]

the systemd service file is calling startup.sh from tomcat catalina home. So we can still select the JRE via the /etc/default/tomcat* env variable, but it is unclear to me which one (between JAVA_HOME & JRE_HOME) does it.