jdk/src/share/classes/java/io/PrintStream.java
changeset 21278 ef8a3a2a72f2
parent 18156 edb590d448c5
child 23010 6dadb192ad81
--- a/jdk/src/share/classes/java/io/PrintStream.java	Tue Oct 29 16:35:20 2013 +0400
+++ b/jdk/src/share/classes/java/io/PrintStream.java	Tue Oct 29 17:01:06 2013 +0400
@@ -303,7 +303,7 @@
      *          creating the file
      *
      * @throws  SecurityException
-     *          If a security manager is presentand {@link
+     *          If a security manager is present and {@link
      *          SecurityManager#checkWrite checkWrite(file.getPath())}
      *          denies write access to the file
      *