public void test_readFully$BII() throws IOException {
// Test for method void java.io.RandomAccessFile.readFully(byte [], int,
// int)
byte[] buf = new byte[10];
RandomAccessFile raf = new java.io.RandomAccessFile(fileName, "rw");
raf.writeBytes("HelloWorld");
raf.seek(0);
raf.readFully(buf, 0, buf.length);
assertEquals("Incorrect bytes read/written", "HelloWorld", new String(
buf, 0, 10, "UTF-8"));
try {