test for AssertionError bug

[Steve Sides]

Hi Werner,
  I was running through tests and found that the test T8009360.java 
posted earlier in this changeset 
<http://cr.openjdk.java.net/%7Essides/8008762/> passes as it is.
It needed a few changes to make it fail, 
http://cr.openjdk.java.net/~ssides/8009360/*
*
sorry 'bout that,

-steve*
*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/type-annotations-dev/attachments/20130325/fbd24306/attachment.html