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