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