Patch: fix and speed-up object marking

[Anthony Green]

On Sun, 2002-12-29 at 22:08, Tom Tromey wrote:
> Anthony> 2002-12-22  Anthony Green  <green@redhat.com>
> Anthony> 	* boehm.cc (_Jv_MarkObj): Mark the protectionDomain of a class.
> Anthony> 	Speed up marking.
> Anthony> 	(_Jv_MarkArray): Speed up marking.
> 
> Definitely check this in.  Thanks!

I'll commit the bug-fix part today.  Hans had some concerns about the
optimizations.  I will try measuring things before proposing this change
again.

AG