RE: Testbug in FileEncodingTest.java