--- a/jdk/test/java/nio/charset/CharsetEncoder/Flush.java	Wed Oct 29 11:53:37 2014 +0000
+++ b/jdk/test/java/nio/charset/CharsetEncoder/Flush.java	Wed Oct 29 14:10:34 2014 +0100
@@ -35,7 +35,7 @@
 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;
     }