#!/bin/sh # # $Id$ # default JAVA_HOME for starting any tomcat85 instance # can be overruled by setting JAVA_HOME non-empty in the instance specific init script export DEFAULT_JAVA_HOME="/usr/lib/jvm/java-8-openjdk-amd64"