Additionally I think:

      char[] val = value;

looks better then:

      char val[] = value;


-Ulf



Am 25.02.2010 20:08, schrieb Alan Bateman:
Kelly O'Hair wrote:
Looks fine to me.

-kto
Thanks Kelly and also to Joe for pointing out that I botched the link to the second one - here is the right webrev:
 http://cr.openjdk.java.net/~alanb/6921374/webrev/

-Alan




Reply via email to