public void TestWriteUTF()
{
ByteArrayOutputStream baos = new ByteArrayOutputStream();
DataOutputStream dos = new DataOutputStream(baos);
dos.WriteUTF("Hello, World!"); // 15
dos.Flush();
if (baos.Length != dos.Length)
fail("Miscounted bytes in DataOutputStream.");
}