jdk/src/java.base/share/classes/java/io/File.java
changeset 27263 819f5f87d485
parent 25859 3317bb8137f4
child 31061 fead7d86d75f
--- a/jdk/src/java.base/share/classes/java/io/File.java	Mon Oct 27 16:24:43 2014 -0700
+++ b/jdk/src/java.base/share/classes/java/io/File.java	Tue Oct 28 15:36:27 2014 +0300
@@ -1588,7 +1588,7 @@
     /**
      * A convenience method to set the owner's read permission for this abstract
      * pathname. On some platforms it may be possible to start the Java virtual
-     * machine with special privileges that allow it to read files that that are
+     * machine with special privileges that allow it to read files that are
      * marked as unreadable.
      *
      * <p>An invocation of this method of the form <tt>file.setReadable(arg)</tt>