Possible Typo JLS8 Section 16.2.15

[Alex Buckley]

Yes, you're right. This infelicity has been present since JLS2 
reformulated the analysis of try statements. Many thanks.

Alex

On 9/8/2016 11:02 AM, Hiram Hunt wrote:
> Hello,
>
> In JLS8 Section 16.2.15 it says
>
> If a try statement does have a finally block, then these rules also  apply:
> • V is definitely assigned after the try statement iff at least one of
> the following
> is true:
>    – V is definitely assigned after the try block and V is definitely
> assigned after
> every catch block in the try statement.
>    – V is definitely assigned after the finally block.
>    – V is definitely unassigned after a try statement iff V is
> definitely unassigned
> after the finally block.
>
> Should the last item, which starts with a "-", instead start
> with a round bullet and be indented less to match the other
> round bullet items?  Also, for consistency with the item
> that does have a round bullet above, should the last item
> be changed to say "the try statement" instead of "a try statement"?
>
> -- Hiram Hunt (hiramhunt at verizon.net)
>