private void WriteObjectDummy(Java.IO.ObjectOutputStream destination)
{
destination.WriteInt(count);
destination.WriteBoolean(isDirect);
destination.WriteUTF(encoding);
destination.WriteUTF(replace);
}
static void WriteNullableString(Java.IO.ObjectOutputStream dest, string value)
{
dest.WriteBoolean(value != null);
if (value != null)
{
dest.WriteUTF(value);
}
}