jdk/src/share/classes/java/io/File.java
changeset 9538 e6df26dc76c5
parent 9035 1255eb81cc2f
child 11117 b6e68b1344d4
--- a/jdk/src/share/classes/java/io/File.java	Fri Apr 29 09:04:03 2011 -0400
+++ b/jdk/src/share/classes/java/io/File.java	Fri Apr 29 08:51:34 2011 -0700
@@ -25,7 +25,6 @@
 
 package java.io;
 
-import java.beans.ConstructorProperties;
 import java.net.URI;
 import java.net.URL;
 import java.net.MalformedURLException;
@@ -247,7 +246,6 @@
      * @throws  NullPointerException
      *          If the <code>pathname</code> argument is <code>null</code>
      */
-    @ConstructorProperties("path")
     public File(String pathname) {
         if (pathname == null) {
             throw new NullPointerException();