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