jdk annotations: 'comment' parameter in 'Properties::store' method can be null

2026-09-27 10:03:11 +07:00 · 2018-09-28 15:27:27 +03:00
parent b88fb440ae
commit 5f737c2bf5
1 changed files with 3 additions and 0 deletions
@@ -1817,6 +1817,9 @@
      <val name="pure" val="true"/>
    </annotation>
  </item>
+  <item name='java.util.Properties void store(java.io.OutputStream, java.lang.String) 1'>
+    <annotation name='org.jetbrains.annotations.Nullable'/>
+  </item>
  <item name='java.util.Queue E element()'>
    <annotation name='org.jetbrains.annotations.Contract'>
      <val name="pure" val="true"/>