HelloWorld: added copyright header