Zip file system provider only works with default file system

[Alan Bateman]

On 08/12/2012 19:54, Xueming Shen wrote:
> This is why it's a bug:-) The temp file should be on your memory file 
> system, not
> the default file system (java.io.File only knows about the default 
> one). So we
> probably should not use the java.io.File for the temporary file, if we 
> are  not on
> the default file system.
>
> -Sherman
I took a quick look at this and I think the temporary file can either if 
co-located with the zip file (as per the current implementation) or 
alternatively it can be a temporary file on the default file system. For 
the former then it creates using Files.createTempFile as per the 
discussion here. For the latter then it would require using the 
temporary directory, in which case it would be okay to use java.io.File, 
just not consistent.

-Alan