public String parseZippedFilenameMangle(final String filename) {                            
        if (filename.indexOf(this.archiveExt) > 0) {
            String res = filename.substring(0, filename.indexOf(this.archiveExt)-1);            
            res = res + "." + this.dirConf.server;
            String namePrefixCustom = "";
            if (this.dirConf.jvm.indexOf(this.stripFilenamePrefix) >= 0) {
                namePrefixCustom = this.dirConf.jvm.substring(this.dirConf.jvm.indexOf(this.stripFilenamePrefix)+this.stripFilenamePrefix.length()) ;
                res = res + "." + namePrefixCustom;
            }
            return res;
        }
        return filename;
    }