Currently the API specification of `InflaterInputStream.fill()` reads as follows:

```
protected void fill()
             throws IOException
Fills input buffer with more data to decompress.

Throws:
    IOException - if an I/O error has occurred
```

It doesn't mention that `fill()` throws an `java.io.EOFException` if the underlying input stream contains no more data.

In addition the specification should mention that `fill()` sets the protected `len` field of `InflaterInputStream`.