tools: some safety checks in openjdktest.sh