From 6117d70bf7b389ab053c464fd3de7b1c455e9dd5 Mon Sep 17 00:00:00 2001 From: carlosuc3m <100329787@alumnos.uc3m.es> Date: Wed, 8 Jan 2025 17:32:27 +0100 Subject: [PATCH] use int instead of long --- .../modelrunner/engine/installation/EngineInstall.java | 2 -- .../io/bioimage/modelrunner/versionmanagement/JarInfo.java | 6 +++--- 2 files changed, 3 insertions(+), 5 deletions(-) diff --git a/src/main/java/io/bioimage/modelrunner/engine/installation/EngineInstall.java b/src/main/java/io/bioimage/modelrunner/engine/installation/EngineInstall.java index 4271e272..27820168 100644 --- a/src/main/java/io/bioimage/modelrunner/engine/installation/EngineInstall.java +++ b/src/main/java/io/bioimage/modelrunner/engine/installation/EngineInstall.java @@ -37,8 +37,6 @@ import java.util.Map.Entry; import java.util.stream.Collectors; -import org.omg.IOP.RMICustomMaxStreamFormat; - import io.bioimage.modelrunner.bioimageio.BioimageioRepo; import io.bioimage.modelrunner.bioimageio.description.ModelDescriptor; import io.bioimage.modelrunner.bioimageio.description.ModelDescriptorFactory; diff --git a/src/main/java/io/bioimage/modelrunner/versionmanagement/JarInfo.java b/src/main/java/io/bioimage/modelrunner/versionmanagement/JarInfo.java index 7b1d3f17..f7f01505 100644 --- a/src/main/java/io/bioimage/modelrunner/versionmanagement/JarInfo.java +++ b/src/main/java/io/bioimage/modelrunner/versionmanagement/JarInfo.java @@ -12,7 +12,7 @@ public class JarInfo { private static JarInfo instance; // Map to store the parsed JSON data - private Map urlData; + private Map urlData; private static URL FILE_PATH = JarInfo.class.getClassLoader().getResource("jar_sizes.json"); @@ -39,7 +39,7 @@ public static JarInfo getInstance() throws IOException { * * @return Map containing the URL and their respective sizes */ - public Map getAllData() { + public Map getAllData() { return urlData; } @@ -49,7 +49,7 @@ public Map getAllData() { * @param url The URL to look up * @return The size associated with the URL, or null if not found */ - public Long get(String url) { + public Integer get(String url) { return urlData.get(url); }