Adding a license header, making Jenkins happy.