From db89327f9fc984f3689f8a9c8df40817fe8d0790 Mon Sep 17 00:00:00 2001
From: Chris Povirk <cpovirk@google.com>
Date: Mon, 22 Jul 2024 12:00:49 -0400
Subject: [PATCH] Automatically download 1.0.0 of JSpecify instead of 0.3.0.
 (#191)

Also, bump `maven-dependency-plugin` while in the neighborhood.
---
 demo | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/demo b/demo
index a96b397..da51b13 100755
--- a/demo
+++ b/demo
@@ -6,11 +6,11 @@
 dir=$(dirname $0)
 jspecify="${dir}/../jspecify/build/libs/jspecify-0.0.0-SNAPSHOT.jar"
 if [ ! -e "${jspecify}" ]; then
-  version=0.3.0
+  version=1.0.0
   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