jdk/src/share/classes/java/io/PushbackReader.java
changeset 8539 eeb9fc5a68c1
parent 5506 202f599c92aa
child 8540 ed028ce13912
--- a/jdk/src/share/classes/java/io/PushbackReader.java	Tue Feb 22 10:19:35 2011 +0000
+++ b/jdk/src/share/classes/java/io/PushbackReader.java	Tue Feb 22 12:04:48 2011 +0000
@@ -245,8 +245,11 @@
      * @exception  IOException  If an I/O error occurs
      */
     public void close() throws IOException {
-        super.close();
-        buf = null;
+        try {
+            super.close();
+        } finally {
+            buf = null;
+        }
     }
 
     /**