Add annotation for java.io.File.toPath()

2014-01-20 11:04:55 -05:00
parent 77c340d872
commit b8d4d07b12
1 changed files with 3 additions and 0 deletions
@@ -266,6 +266,9 @@
    <item name="java.io.File java.lang.String getPath()">
        <annotation name="org.jetbrains.annotations.NotNull"/>
    </item>
+    <item name="java.io.File java.nio.file.Path toPath()">
+        <annotation name="org.jetbrains.annotations.NotNull"/>
+    </item>
    <item name="java.io.File java.lang.String toString()">
        <annotation name="org.jetbrains.annotations.NotNull"/>
    </item>