private void WriteObjectDummy (Java.IO.ObjectOutputStream destination) { Console.WriteLine ("MySerializable.WriteObjectDummy"); destination.WriteUTF (Value); }