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)