anchor.diff:          exit 1
       fi
   done
  -set -e
   
   write_pid_file $pid
   exit 0
  
positive.code: }
  
  terminate_java_process() {
      set +e
  
      echo "Startup script was terminated before completion" 1>&2
      kill -TERM $pid >/dev/null 2>&1
      sleep 0.1
  
negative.code:     fi
  
      rm -f "$PIDFILE"
      exit 1
  }
  
  