diff -r bfddc73b74b9 -r e6df26dc76c5 jdk/src/share/classes/java/io/File.java
--- 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 pathname
argument is null
*/
- @ConstructorProperties("path")
public File(String pathname) {
if (pathname == null) {
throw new NullPointerException();