org.checkerframework.framework.util
org.checkerframework.javacutil
org.checkerframework.javacutil.trees