Adapt to Checker Framework renaming #10
Description
The Checker Framework package layout was recently renamed and also the
distribution files changed.
Most uses of "checkers" should be replaced by "org.checkerframework.checker";
that is not true for classes that are part of the framework proper, which are
now located in "o.cf.framework" or "o.cf.common".
Instead of a CHECKERS environment variable it is now recommended to use a
CHECKERFRAMEWORK variable. The javac binary is now in
checker-framework/checker/bin.
Original issue reported on code.google.com by [email protected] on 21 Mar 2014 at 9:54