*** empty log message ***

classpath/gnu/java/nio/channels/FileChannelImpl.java

@@ -530,6 +530,7 @@ public abstract class FileChannelImpl extends FileChannel
 	try
 	{
 	    if(false) throw new cli.System.IO.IOException();
+            stream.Flush();
 	    return stream.ReadByte();
 	}
 	catch(cli.System.IO.IOException x)
@@ -556,7 +557,8 @@ public abstract class FileChannelImpl extends FileChannel
 	try
 	{
 	    if(false) throw new cli.System.IO.IOException();
-	    int count = stream.Read(buf, offset, len);
+            stream.Flush();
+            int count = stream.Read(buf, offset, len);
 	    if(count == 0)
 	    {
 		count = -1;