From c2266cb8d776bf973c94a7ca14e3b59e4943332e Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Thu, 17 Nov 2016 10:56:59 +0100
Subject: [PATCH] make getClass pure

---
 java/jdkAnnotations/java/lang/annotations.xml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index 572588fb1356..59f2471b4df7 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -61,7 +61,12 @@
   <item name='java.lang.Iterable java.util.Iterator&lt;T&gt; iterator()'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
-  <item name="java.lang.Readable int read(java.nio.CharBuffer) 0">
+    <item name='java.lang.Object java.lang.Class&lt;?&gt; getClass()'>
+        <annotation name='org.jetbrains.annotations.Contract'>
+            <val name="pure" val="true"/>
+        </annotation>
+    </item>
+    <item name="java.lang.Readable int read(java.nio.CharBuffer) 0">
     <annotation name="org.jetbrains.annotations.NotNull" />
   </item>
   <item name="java.lang.Runtime java.lang.Process exec(java.lang.String[]) 0">
-- 
2.23.3