On 11/23/11 06:45, Jakub Jelinek wrote:
On Tue, Nov 22, 2011 at 01:53:54PM -0700, Jeff Law wrote:
+
+   /* Java catches catch NULL pointer exceptions, thus we can not necessarily

catches catch?
Fixed.

jeff

Reply via email to