CompressionFile java.io.File switch java.nio.file.Path