export const ZipEntry = $.type("java.util.zip.ZipEntry");