On 10/14/2014 3:55 AM, Daniel Fuchs wrote:
http://cr.openjdk.java.net/~dfuchs/webrev_8059767/webrev.02
Looks good.
Nit: use {@code...} instead of <tt>...</tt>. It may be
inconsistent with the javadoc for other existing constructors
that I think it's good to clean up the new one at least.
No need to generate a new webrev.
Mandy
