ISABELLE_TOOLS="$COMPONENT:$ISABELLE_TOOLS"