From 446b5d7bca9cf5e2dfb7d8df3c70f1ad50c071d1 Mon Sep 17 00:00:00 2001 From: Michael Ernst Date: Sat, 3 Oct 2026 10:10:02 -0700 Subject: [PATCH] `ProcessBuilder.environment()` returns a modifiable map --- src/java.base/share/classes/java/lang/ProcessBuilder.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/java.base/share/classes/java/lang/ProcessBuilder.java b/src/java.base/share/classes/java/lang/ProcessBuilder.java index 7896ab818ac3..4d04fabbcd12 100644 --- a/src/java.base/share/classes/java/lang/ProcessBuilder.java +++ b/src/java.base/share/classes/java/lang/ProcessBuilder.java @@ -25,8 +25,8 @@ package java.lang; -import org.checkerframework.checker.modifiability.qual.Modifiable; import org.checkerframework.checker.modifiability.qual.IteratorPolyMod; +import org.checkerframework.checker.modifiability.qual.Modifiable; import org.checkerframework.checker.mustcall.qual.MustCall; import org.checkerframework.checker.nullness.qual.Nullable; import org.checkerframework.checker.tainting.qual.Untainted; @@ -358,7 +358,7 @@ public ProcessBuilder command(@Untainted String... command) { * @see Runtime#exec(String[],String[],java.io.File) * @see System#getenv() */ - public Map environment() { + public @Modifiable Map environment() { @SuppressWarnings("removal") SecurityManager security = System.getSecurityManager(); if (security != null)