Source position: zipper.pp line 282
published property TZipFileEntry.DiskFileName: String read FDiskFileName write FDiskFileName;