private void WriteObjectDummy(Java.IO.ObjectOutputStream destination) { destination.WriteInt(count); destination.WriteBoolean(isDirect); destination.WriteUTF(encoding); destination.WriteUTF(replace); }
static void WriteInt(Java.IO.ObjectOutputStream dest, int value) { dest.WriteInt(value); }