Added @NotNull annotation for Charset.defaultCharset().

Other code cleanup.
2013-04-24 15:47:20 +04:00
parent f7099a5b6a
commit 267bb01f62
4 changed files with 15 additions and 11 deletions
@@ -138,5 +138,8 @@
    <item name="java.nio.charset.UnmappableCharacterException java.lang.String getMessage()">
        <annotation name="org.jetbrains.annotations.NotNull"/>
    </item>
+    <item name="java.nio.charset.Charset java.nio.charset.Charset defaultCharset()">
+        <annotation name="org.jetbrains.annotations.NotNull"/>
+    </item>
 </root>