test/java/nio/charset/CharsetEncoder/Flush.java

@@ -33,11 +33,11 @@
 import java.nio.charset.*;
 
 public class Flush {
     private static byte[] contents(ByteBuffer bb) {
         byte[] contents = new byte[bb.position()];
-        ((ByteBuffer)(bb.duplicate().flip())).get(contents);
+        bb.duplicate().flip().get(contents);
         return contents;
     }
 
     private static ByteBuffer extend(ByteBuffer bb) {
         ByteBuffer x = ByteBuffer.allocate(2*bb.capacity()+10);