From 871def02aa6da637c55e9913d5158c02634d552d Mon Sep 17 00:00:00 2001
From: Danilo Pianini <danilo.pianini@unibo.it>
Date: Thu, 19 Dec 2024 21:37:15 +0100
Subject: [PATCH] build: fix broken type of map for the javadoc.io cache
 (#4035)

---
 buildSrc/src/main/kotlin/Util.kt | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/buildSrc/src/main/kotlin/Util.kt b/buildSrc/src/main/kotlin/Util.kt
index b23afbb7d2..122447db86 100644
--- a/buildSrc/src/main/kotlin/Util.kt
+++ b/buildSrc/src/main/kotlin/Util.kt
@@ -27,7 +27,6 @@ import org.gradle.plugin.use.PluginDependency
 import java.io.ByteArrayOutputStream
 import java.io.File
 import java.net.URI
-import java.net.URL
 
 /**
  * Collector of imperative code.
@@ -48,7 +47,7 @@ object Util {
 
     private val javadocIOcacheFile = File("javadoc-io.json")
     private val gson = Gson().newBuilder().setPrettyPrinting().create()
-    private val mapType = object : TypeToken<MutableMap<String, Pair<URL, URL?>>>() { }.type
+    private val mapType = object : TypeToken<MutableMap<String, Pair<URI, URI?>>>() { }.type
 
     private val javadocIO: MutableMap<String, Pair<URI, URI?>> = javadocIOcacheFile
         .takeIf(File::exists)