30 import java.nio.*;

    30 import java.nio.*;

    31 import java.nio.channels.*;

    31 import java.nio.channels.*;

    32 

    32 

    33 public class BigReadWrite {

    33 public class BigReadWrite {

    34 

    34 

    36     static int testSize = 15;

    35     static int testSize = 15;

    37 

    36 

    38     public static void main(String[] args) throws Exception {

    37     public static void main(String[] args) throws Exception {

    39         // One platform suffices to check for this bug

    38         // One platform suffices to check for this bug

    40         String osName = System.getProperty("os.name");

    39         String osName = System.getProperty("os.name");