Landed proper copyrights in the generated code (as stated in #1 and #2)