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.
-Olek
