ZIP Parsing

[ChristianGruen]

Unexpected error: Improper use? Potential bug? Your feedback is welcome:
Contact: basex-talk@mailman.uni-konstanz.de
Version: BaseX 8.5.4 beta
Java: Oracle Corporation, 1.8.0_101
OS: Windows 10, amd64
Stack Trace: 
java.lang.IllegalArgumentException: MALFORMED
    at java.util.zip.ZipCoder.toString(Unknown Source)
    at java.util.zip.ZipInputStream.readLOC(Unknown Source)
    at java.util.zip.ZipInputStream.getNextEntry(Unknown Source)
    at org.basex.build.DirParser.parse(DirParser.java:129)
    at org.basex.build.DirParser.parse(DirParser.java:104)
    at org.basex.build.DirParser.parse(DirParser.java:104)
    at org.basex.build.DirParser.parse(DirParser.java:104)
    at org.basex.build.DirParser.parse(DirParser.java:104)
    at org.basex.build.DirParser.parse(DirParser.java:104)
    at org.basex.build.DirParser.parse(DirParser.java:104)
    at org.basex.build.DirParser.parse(DirParser.java:93)
    at org.basex.build.Builder.parse(Builder.java:76)
    at org.basex.build.MemBuilder.dataClip(MemBuilder.java:73)
    at org.basex.query.up.primitives.DBNew.data(DBNew.java:146)
    at org.basex.query.up.primitives.DBNew.prepare(DBNew.java:97)
    at org.basex.query.up.primitives.node.ReplaceDoc.prepare(ReplaceDoc.java:47)