tweaking ProgramChecker, license header changes/corrections, other minor tweaks