jvppgen: update headers 12/15112/1
authorBernhard M. Wiedemann <bwiedemann@suse.de>
Tue, 2 Oct 2018 23:16:19 +0000 (01:16 +0200)
committerBernhard M. Wiedemann <bwiedemann@suse.de>
Tue, 2 Oct 2018 23:16:19 +0000 (01:16 +0200)
commit76e2cccf18d9acf119c34968c6be52cc3afb0f84
tree5fcc461123d8d50dfcf42a0d0b49a156d7563851
parent88076749e663e35925c2212eb79e2ec4ce023772
jvppgen: update headers

headers of generated files should correctly tell
about where it cames from to not confuse readers.

Change-Id: If667fa4aab188978156982adf3fa13474bd93e9e
Signed-off-by: Bernhard M. Wiedemann <bwiedemann@suse.de>
extras/japi/java/jvpp/gen/jvppgen/callback_gen.py