org.checkerframework.common.util