The API specification says that InputStreamReader.getEncoding() may return null if the stream is closed. This can be tightened to say that it WILL return null after the stream has been closed.