Alteração do tamanho do gif

Boa tarde,

Estou tentando altarar o tamanho do gif na pasta graphics no scadaBR, mas isso não está funcionando. Já desativei o tomcat e nada. Os novos desenhos e pastas estão sendo reconhecidos, mas quando tento alterar o tamanho do gif no arquivo info, isso não funciona. Alguém pode ajudar?