Update HelloWorld2.krl