--- a/jdk/src/share/classes/java/io/File.java	Fri Jun 06 13:30:20 2008 +0400
+++ b/jdk/src/share/classes/java/io/File.java	Wed Jun 18 19:15:23 2008 +0400
@@ -25,6 +25,7 @@
 
 package java.io;
 
+import java.beans.ConstructorProperties;
 import java.net.URI;
 import java.net.URL;
 import java.net.MalformedURLException;
@@ -234,6 +235,7 @@
      * @throws  NullPointerException
      *          If the <code>pathname</code> argument is <code>null</code>
      */
+    @ConstructorProperties("path")
     public File(String pathname) {
         if (pathname == null) {
             throw new NullPointerException();