org.checkerframework:dataflow-shaded 3.9.1

dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the dataflow artifact in two ways. First, The packages in this artifact have been renamed to org.checkerframework.shaded.*. Second, unlike the dataflow artifact, this artifact contains the dependencies it requires. Please see artifact: org.checkerframework:dataflow