int lastDot = entryname.lastIndexOf('.');
    protected ZipResource(File zipfile, ZipEntry zipentry, ZipRepository repository) {        this.zipentry = zipentry;        this.zipfile = zipfile;        this.repository = repository;        String entryname = zipentry.getName();        int lastDot = entryname.lastIndexOf('.');        int lastSlash = entryname.lastIndexOf('/');        if (lastDot != -1 && lastDot > lastSlash) {            shortName = entryname.substring(lastSlash + 1, lastDot);        } else {            shortName = entryname.substring(lastSlash + 1);        }        StringBuffer buf = new StringBuffer(repository.getName())                .append('/').append(shortName);        if (lastDot != -1 && lastDot > lastSlash) {            name = buf.append(entryname.substring(lastDot)).toString();        } else {            name = buf.toString();        }    }