Fix guava-assertions.astub

typetools · Dec 13, 2023 · 3eb26a9 · 3eb26a9
1 parent 7906a83
commit 3eb26a9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/checker/src/main/resources/guava-assertions.astub b/checker/src/main/resources/guava-assertions.astub
@@ -339,12 +339,10 @@ public final class Verify {
   @AssertMethod(VerifyException.class)
   @Pure
   public static void verify(boolean expression, String errorMessageTemplate, long p1);
-  }
 
   @AssertMethod(VerifyException.class)
   @Pure
-  public static void verify(
-      boolean expression, String errorMessageTemplate,Object p1);
+  public static void verify(boolean expression, String errorMessageTemplate, Object p1);
 
   @AssertMethod(VerifyException.class)
   @Pure

diff --git a/framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java b/framework/src/main/java/org/checkerframework/framework/stub/AnnotationFileElementTypes.java
@@ -358,7 +358,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) {