[kepler-dev] java question: array casts

[Tobin Fricke]

On Mon, 16 Aug 2004, xiaowen wrote:

> Perhaps you could try:

>          String bar[] = (String[])(foo.toArray(new String[foo.size()]));

Thanks -- that's it exactly. (-:  Just didn't read far enough in the
javadoc... S-:

tobin