License header for json2proto