import java.io.*;

import java.nio.channels.*;

import java.nio.file.*;

import java.nio.file.DirectoryStream.Filter;

import java.nio.file.attribute.*;

import java.util.concurrent.ExecutorService;

        return newFileSystem(uriToPath(uri), env, true);

    public FileSystem newFileSystem(Path path, Map<String, ?> env)

        return newFileSystem(path, env, false);

    private FileSystem newFileSystem(Path path, Map<String, ?> env, boolean checkIfFSExists)

            if (checkIfFSExists && Files.exists(path)) {

            if (!filesystems.containsKey(realPath))

                filesystems.put(realPath, zipfs);

    // Checks that the given file is a UnixPath

    static final ZipPath toZipPath(Path path) {

        if (path == null)

            throw new NullPointerException();

        if (!(path instanceof ZipPath))

            throw new ProviderMismatchException();

        return (ZipPath)path;

    }

    @Override

    public void checkAccess(Path path, AccessMode... modes) throws IOException {

        toZipPath(path).checkAccess(modes);

    }

    @Override

    public void copy(Path src, Path target, CopyOption... options)

        throws IOException

    {

        toZipPath(src).copy(toZipPath(target), options);

    }

    @Override

    public void createDirectory(Path path, FileAttribute<?>... attrs)

        throws IOException

    {

        toZipPath(path).createDirectory(attrs);

    }

    @Override

    public final void delete(Path path) throws IOException {

        toZipPath(path).delete();

    }

    @Override

    @SuppressWarnings("unchecked")

    public <V extends FileAttributeView> V

        getFileAttributeView(Path path, Class<V> type, LinkOption... options)

    {

        return (V)ZipFileAttributeView.get(toZipPath(path), type);

    }

    @Override

    public FileStore getFileStore(Path path) throws IOException {

        return toZipPath(path).getFileStore();

    }

    @Override

    public boolean isHidden(Path path) {

        return toZipPath(path).isHidden();

    }

    @Override

    public boolean isSameFile(Path path, Path other) throws IOException {

        return toZipPath(path).isSameFile(other);

    }

    @Override

    public void move(Path src, Path target, CopyOption... options)

        throws IOException

    {

        toZipPath(src).move(toZipPath(target), options);

    }

    @Override

    public AsynchronousFileChannel newAsynchronousFileChannel(Path path,

            Set<? extends OpenOption> options,

            ExecutorService exec,

            FileAttribute<?>... attrs)

            throws IOException

    {

        throw new UnsupportedOperationException();

    }

    @Override

    public SeekableByteChannel newByteChannel(Path path,

                                              Set<? extends OpenOption> options,

                                              FileAttribute<?>... attrs)

        throws IOException

    {

        return toZipPath(path).newByteChannel(options, attrs);

    }

    @Override

    public DirectoryStream<Path> newDirectoryStream(

        Path path, Filter<? super Path> filter) throws IOException

    {

        return toZipPath(path).newDirectoryStream(filter);

    }

    @Override

    public FileChannel newFileChannel(Path path,

                                      Set<? extends OpenOption> options,

                                      FileAttribute<?>... attrs)

        throws IOException

    {

        return toZipPath(path).newFileChannel(options, attrs);

    }

    @Override

    public InputStream newInputStream(Path path, OpenOption... options)

        throws IOException

    {

        return toZipPath(path).newInputStream(options);

    }

    @Override

    public OutputStream newOutputStream(Path path, OpenOption... options)

        throws IOException

    {

        return toZipPath(path).newOutputStream(options);

    }

    @Override

    public <A extends BasicFileAttributes> A

        readAttributes(Path path, Class<A> type, LinkOption... options)

        throws IOException

    {

        if (type == BasicFileAttributes.class || type == ZipFileAttributes.class)

            return (A)toZipPath(path).getAttributes();

        return null;

    }

    @Override

    public Map<String, Object>

        readAttributes(Path path, String attribute, LinkOption... options)

        throws IOException

    {

        return toZipPath(path).readAttributes(attribute, options);

    }

    @Override

    public Path readSymbolicLink(Path link) throws IOException {

        throw new UnsupportedOperationException("Not supported.");

    }

    @Override

    public void setAttribute(Path path, String attribute,

                             Object value, LinkOption... options)

        throws IOException

    {

        toZipPath(path).setAttribute(attribute, value, options);

    }

    //////////////////////////////////////////////////////////////

    void removeFileSystem(Path zfpath, ZipFileSystem zfs) throws IOException {

            zfpath = zfpath.toRealPath(true);

            if (filesystems.get(zfpath) == zfs)

                filesystems.remove(zfpath);