add verification method to ExceptionMap
add ModifiedJavaByteCodeGenerator
update to libzen e2d94620fcf7b826065381762fd91a5754c20f36