(String name)
| 73 | } |
| 74 | |
| 75 | public void setName(String name) throws GZIPException { |
| 76 | check(); |
| 77 | deflater.dstate.getGZIPHeader().setName(name); |
| 78 | } |
| 79 | |
| 80 | public void setComment(String comment) throws GZIPException { |
| 81 | check(); |
nothing calls this directly
no test coverage detected