[RFC/RFT] Patch (java): Switch to new verifier

[Andrew Haley]

Bryce McKinlay writes:
 > > 
 > >Also, I suspect that the new verifier generates typemaps that require
 > >special treatment by subsequent code-generation passes.  There are
 > >hacks in place for this, but I'm not sure they work when compiling
 > >with the C++ ABI.
 > >  

 > Andrew may correct me, but I don't recall anything we did for the new 
 > verifier that will be incompatible with the C++ ABI. It does seem to 
 > work ok on my (very brief) testing. It would be nice to get rid of the 
 > old verifier - there's no point keeping it around if the new one can be 
 > made to work.

This looks pretty good.  You test it and I'll approve it.

Andrew.