Fix auto-loading of new Javadoc ZIPs
SEVERE: Uncaught exception thrown.
java.util.zip.ZipError: zip END header not found
at com.sun.nio.zipfs.ZipFileSystem.zerror(ZipFileSystem.java:1605)
at com.sun.nio.zipfs.ZipFileSystem.findEND(ZipFileSystem.java:1021)
at com.sun.nio.zipfs.ZipFileSystem.initCEN(ZipFileSystem.java:1030)
at com.sun.nio.zipfs.ZipFileSystem.
Always seems to happen when uploading a ZIP directly into the Javadocs folder--like it's trying to read the ZIP before the upload has completed.
Low priority.
Have since switched to a system where the Javadoc info is not cached at all, so it loads the data from the ZIP files fresh every time. This means that there is no longer a need to monitor the Javadoc ZIP files for changes. Much simpler implementation. No noticeable difference in performance.