Notizen
#JAVA_HOME=JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/ anstatt JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/bin/java in /etc/default/tomcat6 http://wiki.goobi.org/index.php/Kernsystem#Installation_Tomcat_Server
#JAVA_HOME=JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/ anstatt JAVA_HOME=/usr/lib/jvm/java-7-openjdk-amd64/bin/java in /etc/default/tomcat6 http://wiki.goobi.org/index.php/Kernsystem#Installation_Tomcat_Server