add copyright lines to make jenkins happy