4 if [ -z $JPP_DIR ]; then
 
    5     echo "Variable JPP_DIR undefined."
 
    9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   11 set_variable  DIR                 $JPP_DIR/examples/JDB/
 
   13 if ( do_usage $* ); then
 
   14     usage "$script <detector identifier>"
 
   18     1)  set_variable DETECTOR   $1;;
 
   19     *) fatal "Wrong number of arguments."