lib/scripts/getfunctions

 export -f isabelle_scala
 
 #classpath
 function classpath ()
 {
+  local X=""
   for X in "$@"
   do
     if [ -z "$ISABELLE_CLASSPATH" ]; then
       ISABELLE_CLASSPATH="$X"
     else

 #arrays
 function splitarray ()
 {
   SPLITARRAY=()
   local IFS="$1"; shift
+  local X=""
   for X in $*
   do
     SPLITARRAY["${#SPLITARRAY[@]}"]="$X"
   done
 }

 export -f init_component
 
 #init component forest
 function init_components ()
 {
+  local REPLY=""
   local BASE="$1"
   local CATALOG="$2"
   local COMPONENT=""
   local -a COMPONENTS=()