Nome do Widget Não Muda

Prezados, bom dia.

Criei um Widget usando o Template HelloWorld. Consigo mudar o conteúdo dele e também modifiquei todas as referências da palavra HelloWorld do código. Porém, quando publico o nome dele continua "Olá Mundo". Minha pergunta é: como eu modifico para que seja usado o nome do Widget que eu escolhi?

Agradeço de antemão.

Percebi o erro. Deixo a solução para o caso de alguém passar por isso:

Não basta apenas fazer as mudanças no código, na função e definir o nome correto na hora de criar. Deve-se também modificar o nome nos arquivos de idioma/regionalização. Lá estão definidos os nomes para os três idiomas.