For now, just a note for us. If this does not change soon, we should consider switching to the Java Zip API.