Обновляем Sencha Cmd

Утилита Sencha Cmd время от времени выходит в новой версии. Пора обновится.
Описание команды sencha upgrade есть в документации:
http://docs.sencha.com/cmd/5.x/advanced_cmd/cmd_reference.html#sencha_upgrade

Перешёл в командной строке в директорию с файлом sencha.exe. Запустил sencha upgrade. Со второго раза всё заработало. Открылось окошко установщика и дальше по прошёл по кнопкам как по нотам.

С первого раза не получилось из-за того, что не было доступа в интернет. Настроил прокси, как советуют на форуме:
http://www.sencha.com/forum/showthread.php?259532-Upgrading-Sencha-Cmd-behind-proxy

Менял файл sencha.cfg, который лежит вместе с файлом sencha.exe.  Устаревший способ не сработал:

# system.java.net.useSystemProxies=true

# These are the legacy options that come in to play when the above is commented
# out:
system.http.proxyHost=***local.ru
system.http.proxyPort=3128
system.http.proxyUser=novikov
system.http.proxyPassword=*****

Зато второй способ оказался вполне пригодным. Вставил в том же файле:

#cmd.jvm.args=-Xms128m -Xmx1024m -Djava.awt.headless=true
cmd.jvm.args=-Xms1024m -Xmx2048m -Djava.awt.headless=true -Dhttp.proxyHost=***local.ru -Dhttp.proxyPort=3128 -Dhttp.proxyUser=novikov -Dhttp.proxyPassword=*****

Обновился с версии  4.0.2 до 5.0.1