Fix license headers

License headers are not meant to be put into JavaDocs.