Merge pull request #340 from Stebalien/fix-file-to_path-java7

Add annotation for `java.io.File.toPath()`
2014-01-20 08:37:57 -08:00
parent 2c61ff9085 b8d4d07b12
commit b12b6c4080
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>