Type merging technique to reduce class loading during Java verification Grant US-8875115-B2 United States of America 28 Oct 2014