Remove @NullMarked from java.lang. (#122)

cpovirk · web-flow · commit b83164a46630 · 2025-03-21T22:46:02.000-04:00
Fixes #112
diff --git a/src/java.base/share/classes/java/lang/package-info.java b/src/java.base/share/classes/java/lang/package-info.java
@@ -73,8 +73,4 @@
  *
  * @since 1.0
  */
-@NullMarked
-
 package java.lang;
-import org.jspecify.annotations.NullMarked;
-import org.jspecify.annotations.Nullable;

Original file line number	Diff line number	Diff line change
`@@ -73,8 +73,4 @@`
`73`	`73`	`*`
`74`	`74`	`* @since 1.0`
`75`	`75`	`*/`
`76`		`-@NullMarked`
`77`		`-`
`78`	`76`	`package java.lang;`
`79`		`-import org.jspecify.annotations.NullMarked;`
`80`		`-import org.jspecify.annotations.Nullable;`