Fix handling of -Astubs=checker.jar/ to make EisopIssue608.java t…

…est pass
eisop · Jan 2, 2024 · 8d0b965 · 8d0b965
1 parent 8b1a273
commit 8d0b965
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java b/framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java
@@ -376,7 +376,7 @@ private void parseAnnotationFiles(List<String> annotationFiles, AnnotationFileTy
                 // If the file has a prefix of "checker.jar/" then look for the file in the top
                 // level directory of the jar that contains the checker.
                 if (path.startsWith("checker.jar/")) {
-                    path = "/" + path.substring("checker.jar/".length());
+                    path = path.substring("checker.jar/".length());
                 }
                 try (InputStream in = checker.getClass().getResourceAsStream(path)) {
                     if (in != null) {