285     {

   285     {

   286         FileSystemProvider provider = path.getFileSystem().provider();

   286         FileSystemProvider provider = path.getFileSystem().provider();

   287         return provider.newFileChannel(path, options, attrs);

   287         return provider.newFileChannel(path, options, attrs);

   288     }

   288     }

   289 

   289 

   291     private static final FileAttribute<?>[] NO_ATTRIBUTES = new FileAttribute[0];

   291     private static final FileAttribute<?>[] NO_ATTRIBUTES = new FileAttribute[0];

   292 

   292 

   293     /**

   293     /**

   294      * Opens or creates a file, returning a file channel to access the file.

   294      * Opens or creates a file, returning a file channel to access the file.

   295      *

   295      *