private void ReadObjectDummy(Java.IO.ObjectInputStream source)
{
count = source.ReadInt();
isDirect = source.ReadBoolean();
encoding = source.ReadUTF();
replace = source.ReadUTF();
}
static int ReadInt(Java.IO.ObjectInputStream source)
{
return(source.ReadInt());
}