Request for review (S): 7020118

[Keith McGuigan]

Fix for 7020118: Alter frame assignability to allow for exception  
handler coverage of invokespecial <init>.

Webrev: http://cr.openjdk.java.net/~kamg/7020118/webrev.00/

This fix to the verifier makes it possible to create an exception  
handler that covers the entirety of an <init> method, by specifying  
"Top" types in the stackmap in place of "UninitializedThis".  NetBeans  
profiler would like to generate such handlers, but the current  
implementation doesn't allow it.

Thanks for any review.

--
- Keith