jdk/src/share/classes/java/nio/channels/FileChannel.java
changeset 13795 73850c397272
parent 10137 d92637d3d673
child 14342 8435a30053c1
--- a/jdk/src/share/classes/java/nio/channels/FileChannel.java	Tue Sep 11 19:58:36 2012 +0400
+++ b/jdk/src/share/classes/java/nio/channels/FileChannel.java	Fri Aug 31 13:42:47 2012 -0700
@@ -287,7 +287,7 @@
         return provider.newFileChannel(path, options, attrs);
     }
 
-    @SuppressWarnings({ "unchecked", "rawtypes" }) // generic array construction
+    @SuppressWarnings({"unchecked", "rawtypes"}) // generic array construction
     private static final FileAttribute<?>[] NO_ATTRIBUTES = new FileAttribute[0];
 
     /**