Merge branch 'main' of github.com:/jspecify/jspecify-reference-checke…

…r into merge-main
jspecify · Jul 26, 2024 · a005f4e · a005f4e
2 parents af9dfbc + db89327
commit a005f4e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -29,7 +29,7 @@ These instructions might require workarounds or fail outright. Please file an is
 
 ### Prework
 
-Ideally set `JAVA_HOME` to a JDK 11 or JDK 18 installation.
+Ideally set `JAVA_HOME` to a JDK 11 or JDK 17 installation.
 
 Make sure you have Apache Maven installed and in your PATH, or the `demo` script will fail:
 

diff --git a/demo b/demo
@@ -10,7 +10,7 @@ if [ ! -e "${jspecify}" ]; then
   jspecify="${dir}/build/jspecify-${version}.jar"
   if [ ! -e "${jspecify}" ]; then
     echo "Downloading $(basename "${jspecify}") from Maven central"
-    mvn -q org.apache.maven.plugins:maven-dependency-plugin:3.6.1:copy \
+    mvn -q org.apache.maven.plugins:maven-dependency-plugin:3.7.1:copy \
       -Dartifact="org.jspecify:jspecify:${version}" \
       -DoutputDirectory="$(dirname "${jspecify}")"
   fi