public void serialize( System.IO.Stream stream, Object dumy_null_argument ) { base.Serialize( stream ); } }