# sourced by the other scripts export JAVA_HOME="${JDK25:-/tmp/tools/jdk-25.0.5+8}" # Java 25 required export PATH="$JAVA_HOME/bin:/opt/maven/bin:$PATH" cd "$(dirname "${BASH_SOURCE[0]}")/.." JAR=target/batch-llm-1.0.0.jar TICKETS="${TICKETS:-100000}" CHUNK=100 clean_log() { grep -v "^Picked up JAVA_TOOL_OPTIONS" ; }