Add an annotation

This commit is contained in:
Michael Ernst committed 2021-10-19 19:22:40 -07:00
1 parent 2cbfda1375
commit 0b4cc60c23
1 file changed
+1
@@ -182,6 +182,7 @@ public class HandlerUtil {
"org.eclipse.lsp4j.jsonrpc.validation.NonNull",
"org.jetbrains.annotations.NotNull",
"org.jetbrains.annotations.Nullable",
"org.jetbrains.annotations.UnknownNullability",
"org.jmlspecs.annotation.NonNull",
"org.jmlspecs.annotation.Nullable",
"org.jspecify.nullness.Nullable",