Use the new CF plugin in the examples.#7474

smillst wants to merge 5 commits intotypetools:mastertypetools/checker-framework:masterfrom

smillst:new-cf-pluginsmillst/checker-framework:new-cf-pluginCopy head branch name to clipboard