# -*- shell-script -*- :mode=shellscript: ISABELLE_JDK_HOME="$COMPONENT/jdk1.7.0_03"