--- lib-src/build-jtreg-7	2023/08/08 14:24:30	1.4
+++ lib-src/build-jtreg-7	2023/08/21 17:55:50	1.5
@@ -3,7 +3,7 @@
 set -eu -o pipefail
 
 readonly BUILD_JDK="$HOME/jdk/jdk11"
-readonly JTREG_REV="jtreg-7.3+1"
+readonly JTREG_REV="jtreg-7.3.1+1"
 
 main() {
   [[ "$PWD" =~ /lib-src$ ]] \