From 7630b5d2a29ab9285a336d64b7f366993a8ce993 Mon Sep 17 00:00:00 2001
From: Chris Povirk <cpovirk@google.com>
Date: Thu, 19 Dec 2024 12:23:45 -0500
Subject: [PATCH] Mark the "previous value or `null`" type of
 `Properties.compute` as nullable. (#117)

This matches [what we have for
`Map.compute`](https://github.com/jspecify/jdk/blob/7cc2fbd5f404bf5403bd1375b47024a855838fef/src/java.base/share/classes/java/util/Map.java#L1247),
noting that `Properties` is a `Hashtable<Object, Object>` and so a
`Map<Object, Object>`.

See previous discussion in
https://github.com/jspecify/jdk/pull/114#discussion_r1888697414
---
 src/java.base/share/classes/java/util/Properties.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/java.base/share/classes/java/util/Properties.java b/src/java.base/share/classes/java/util/Properties.java
index 5531cda02bd..ba224f21570 100644
--- a/src/java.base/share/classes/java/util/Properties.java
+++ b/src/java.base/share/classes/java/util/Properties.java
@@ -1515,7 +1515,7 @@ public synchronized Object computeIfAbsent(Object key,
 
     @Override
     public synchronized @Nullable Object compute(Object key,
-            BiFunction<? super Object, ? super Object, ?> remappingFunction) {
+            BiFunction<? super Object, ? super @Nullable Object, ?> remappingFunction) {
         return map.compute(key, remappingFunction);
     }