Update to EISOP 3.42-eisop4 from 3.42-eisop3#451

aosen-xiong wants to merge 4 commits intomasteropprop/checker-framework-inference:masterfrom

cf-3.42.0-eisop4opprop/checker-framework-inference:cf-3.42.0-eisop4Copy head branch name to clipboard