From b8d4d07b120c3117018e7d28c66a9372a732cd01 Mon Sep 17 00:00:00 2001
From: Steven Allen <steven@stebalien.com>
Date: Mon, 20 Jan 2014 11:04:55 -0500
Subject: [PATCH] Add annotation for java.io.File.toPath()

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

diff --git a/jdk-annotations/java/io/annotations.xml b/jdk-annotations/java/io/annotations.xml
index 4c510479b92..129f066a3c7 100644
--- a/jdk-annotations/java/io/annotations.xml
+++ b/jdk-annotations/java/io/annotations.xml
@@ -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>