Update HelloWholeWorld.x10 along with the current X10