public void TestBug7901 ()
		{
			var obj = new TestClass ();
			obj.Bug7901 ();
		}