From 5f737c2bf5bdae8fc4afce0ca2d3063302702cfa Mon Sep 17 00:00:00 2001
From: nik <Nikolay.Chashnikov@jetbrains.com>
Date: Fri, 28 Sep 2018 11:56:54 +0300
Subject: [PATCH] jdk annotations: 'comment' parameter in 'Properties::store'
 method can be null

---
 java/jdkAnnotations/java/util/annotations.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/java/jdkAnnotations/java/util/annotations.xml b/java/jdkAnnotations/java/util/annotations.xml
index 5516e3166915..1e3391190d83 100644
--- a/java/jdkAnnotations/java/util/annotations.xml
+++ b/java/jdkAnnotations/java/util/annotations.xml
@@ -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"/>