krun --backend java --prove "$@"
