An abstraction for zip files and streams. Everything is written the way it is for performance: we come through here a lot on every run. Be careful about changing it.
val closeZipFile : Boolean
private def baseName ( path: String ) : String
private def dirName ( path: String ) : String
def fromFile ( file: File ) : FileZipArchive
def fromFile ( file: JFile ) : FileZipArchive
def fromManifestURL ( url: URL ) : AbstractFile
private def splitPath ( path0: String , front: Boolean ) : String