From 27a6673af647c1f45d6f1dfb72775a6ee32b2ed5 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sat, 26 Nov 2022 13:31:48 -0500
Subject: [PATCH] lsp4j download working

---
 java/build.xml | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/java/build.xml b/java/build.xml
index 201d3853f..eab065029 100644
--- a/java/build.xml
+++ b/java/build.xml
@@ -50,7 +50,7 @@
 
   <property name="lsp4j.version" value="0.12.0" />
 
-  <fileset id="lsp4j.files" dir="lib">
+  <fileset id="lsp4j.files" dir="mode">
     <include name="org.eclipse.lsp4j.jar" />
     <include name="org.eclipse.lsp4j.jsonrpc.jar" />
   </fileset>
@@ -67,14 +67,15 @@
   <target name="download-lsp4j" unless="lsp4j.present">
     <!-- TODO implement a fallback URL that points to a location
          on download.processing.org so it's available forever. -->
-    <property name="lsp4j.prefix" value="https://repo1.maven.org/maven2/org/eclipse/lsp4j/org.eclipse.lsp4j.jsonrpc/${lsp4j.version}" />
+    <property name="lsp4j.prefix"
+              value="https://repo1.maven.org/maven2/org/eclipse/lsp4j" />
 
-    <get src="${lsp4j.prefix}/org.eclipse.lsp4j-${lsp4j.version}.jar"
+    <get src="${lsp4j.prefix}/org.eclipse.lsp4j/${lsp4j.version}/org.eclipse.lsp4j-${lsp4j.version}.jar"
          dest="mode/org.eclipse.lsp4j.jar"
          ignoreerrors="${lsp4j.ignorable}"
          usetimestamp="true" />
 
-    <get src="${lsp4j.prefix}/org.eclipse.lsp4j.jsonrpc-${lsp4j.version}.jar"
+    <get src="${lsp4j.prefix}/org.eclipse.lsp4j.jsonrpc/${lsp4j.version}/org.eclipse.lsp4j.jsonrpc-${lsp4j.version}.jar"
          dest="mode/org.eclipse.lsp4j.jsonrpc.jar"
          ignoreerrors="${lsp4j.ignorable}"
          usetimestamp="true" />
@@ -178,7 +179,7 @@
     </junit>
   </target>
 
-  <target name="compile" description="Compile sources" depends="preproc,download-lsp">
+  <target name="compile" description="Compile sources" depends="preproc,download-lsp4j">
     <compilecommon srcdir="src" destdir="bin" classpath="classpath.base" />
   </target>