Name: auR10023			Date: 06/19/2001



Method FileWriter.write(char[], int, int) incorrectly writes the characters.
Following example shows that only 5064 characters can be read from file which
was filled by 1000 characters. It concerns only jdk1.4. In jdk1.3 everything is
ok.


Here is the example:

------ t.java -----

import java.io.*;

class t {
    public static void main(String[] args) {
        int numOfCharsToRead = 10000;
        char[] loadingChars = new char[numOfCharsToRead];
        char[] inChars = new char[numOfCharsToRead];
        for(int i=0;i<loadingChars.length; ++i) {
            loadingChars[i] = (char) i;
        }
        File tempFile = new File("tmp");
        try {
            FileWriter fw = new FileWriter(tempFile);
            fw.write(loadingChars, 0, loadingChars.length);
            fw.close();

            FileReader fr = new FileReader(tempFile);

            int  returnValue = fr.read(inChars, 0, numOfCharsToRead);
            System.out.println("read:" + returnValue);
        } catch (Exception e) {
            System.out.println( e);
        }

    }
}

#java -version                                                                  
java version "1.3.0"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.0-C)
Java HotSpot(TM) Client VM (build 1.3.0-C, interpreted mode)

#java t                                                                         

read:10000


#java -version                                                                  
java version "1.4.0-beta"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.0-beta-b65)
Java HotSpot(TM) Client VM (build 1.4.0-beta-b65, mixed mode)

#java t                                                                         

read:5064

This example creates tmp file in the current directory. This file has 
length 10000 when the example runs under jdk1.3 and it has length 5064 when 
the example runs under jdk1.4. 

======================================================================