Quoting David Blevins (dmblevins at mediaone.net):
> Sure, that's easy.  In fact, I just wrote a few dozen of these little
> statements.
> 
> 
> // Long version
> int size = v.size();
> BobObj[] objs = new BobObj[size];
> v.copyInto(objs);

Works like a charm. Thanks.

You officially get put into my documentation :-)
-- 
Bob Tanner <tanner at real-time.com>         | Phone : (952)943-8700
http://www.mn-linux.org, Minnesota, Linux | Fax   : (952)943-8500
Key fingerprint =  6C E9 51 4F D5 3E 4C 66 62 A9 10 E5 35 85 39 D9