Merge branch '7772-set-java-and-maven' into 'master'

env_init: use BASH_SOURCE to detect file name when script is sourced

See merge request !81

shellscripts/env_init.sh

@@ -10,7 +10,7 @@
 # 2024-02-18  first lines  <axel.hahn@unibe.ch>
 # ======================================================================
 
-cd "$( dirname "$0")" || exit 1
+cd "$( dirname "${BASH_SOURCE[0]}")" || exit 1
 
 typeset -A aJava
 typeset -A aMaven