diff --git a/checker/src/main/java/org/checkerframework/checker/nullness/permit-nullness-assertion-exception.astub b/checker/src/main/java/org/checkerframework/checker/nullness/permit-nullness-assertion-exception.astub
index c101d3d4992..ca31f396316 100644
--- a/checker/src/main/java/org/checkerframework/checker/nullness/permit-nullness-assertion-exception.astub
+++ b/checker/src/main/java/org/checkerframework/checker/nullness/permit-nullness-assertion-exception.astub
@@ -14,6 +14,12 @@ public class Objects {
     public static <T> T requireNonNull(@Nullable T obj);
     @EnsuresNonNull("#1")
     public static <T> T requireNonNull(@Nullable T obj, String message);
+    @EnsuresNonNull("#1")
+    public static <T> T requireNonNull(@Nullable T obj, Supplier<String> messageSupplier);
+    @EnsuresNonNullIf(expression="#1", result=true)
+    public static boolean nonNull(@Nullable Object obj);
+    @EnsuresNonNullIf(expression="#1", result=false)
+    public static boolean isNull(@Nullable Object obj);
 }