<div dir="ltr">Update: I was able to temporarily work around this dependency so I don't consider this time-sensitive anymore and I've removed the block. Once checker-framework is through NEW, I'll create an upgrade bug for checker-framework and set this bug to block the checker-framework upgrade bug.<div><br></div><div>-Olek</div></div>