On 2019-02-15 2:29 p.m., Remi Gauvin wrote:

> 
> How often does this happen?  Did you just happen to stumble on the one
> file in the Universe that does this with server.jar?  Or was there are a
> wider context?
> 

I just tried with a random epub file, and again get the full size out,
so it's a complete mystery to me why a file filled with random bytes works.