jdk/src/share/classes/java/io/PrintStream.java
changeset 21278 ef8a3a2a72f2
parent 18156 edb590d448c5
child 23010 6dadb192ad81
equal deleted inserted replaced
21277:bd380b80f9ea 21278:ef8a3a2a72f2
   301      *          regular file and a new regular file of that name cannot be
   301      *          regular file and a new regular file of that name cannot be
   302      *          created, or if some other error occurs while opening or
   302      *          created, or if some other error occurs while opening or
   303      *          creating the file
   303      *          creating the file
   304      *
   304      *
   305      * @throws  SecurityException
   305      * @throws  SecurityException
   306      *          If a security manager is presentand {@link
   306      *          If a security manager is present and {@link
   307      *          SecurityManager#checkWrite checkWrite(file.getPath())}
   307      *          SecurityManager#checkWrite checkWrite(file.getPath())}
   308      *          denies write access to the file
   308      *          denies write access to the file
   309      *
   309      *
   310      * @throws  UnsupportedEncodingException
   310      * @throws  UnsupportedEncodingException
   311      *          If the named charset is not supported
   311      *          If the named charset is not supported