These files were copied from checker-framework.demo and modified.
