protected ZipResource(File zipfile, ZipEntry zipentry, ZipRepository repository) { this.zipentry = zipentry; this.zipfile = zipfile;
protected ZipResource(String zipentryName, ZipRepository repository) { this.entryName = zipentryName;
    protected ZipResource(File zipfile, ZipEntry zipentry, ZipRepository repository) {        this.zipentry = zipentry;        this.zipfile = zipfile;        this.repository = repository;        String entryname = zipentry.getName();        int lastSlash = entryname.lastIndexOf('/');        shortName = entryname.substring(lastSlash + 1);        name = new StringBuffer(repository.getName()).append('/')                .append(shortName).toString();        // base name is short name with extension cut off        int lastDot = shortName.lastIndexOf(".");        baseName = (lastDot == -1) ? shortName : shortName.substring(0, lastDot);    }