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