Looks good.
On Oct 2, 2013, at 12:33 PM, John Rose wrote:
> Push-button webrev generator to the rescue:
> http://cr.openjdk.java.net/~jrose/8024599/webrev.01
>
> — John
>
> On Oct 2, 2013, at 11:23 AM, Christian Thalinger
> wrote:
>
>> Since there is no new webrev I assume you incorporated
On Oct 2, 2013, at 2:31 PM, John Rose wrote:
> On Oct 2, 2013, at 12:14 PM, Christian Thalinger
> wrote:
>
>> src/share/classes/java/lang/invoke/MethodHandles.java:
>>
>> + * lookup expression
>>
>> Apparently the name attribute is obsolete for in HTML5:
>>
>> http://dev.w3.org/ht