fix JavaZip