is there a way to rename a file that you have extracted using FastZip?
Or do I have to rename it manually using File
?
I don't think so, I think you'll have to rename it with file (or fileinfo). If you are doing the renaming often and in a particular way you might want to wrap FastZip to include the renaming operations. You might want to wrap File in order to write unit tests without using the file system.