Merge #8676: Add missing copyright headers
783e930 [copyright] Add missing copyright headers (isle2983)