ISABELLE_TOOLS="$COMPONENT:$ISABELLE_TOOLS"
ISABELLE_TOOL_JAVA_OPTIONS="$ISABELLE_TOOL_JAVA_OPTIONS -Xmx8g"
