These files had no file header, copyright, or license. Based on git history, added appropriate copyright and license.
Update #3818.