Update HelloWorld.vala