Миграция классического режима разработки в режим суперразработчика с помощью GWT 2.5.1

Я нахожу много вопросов о переполнении стека, связанных с этим 7-0-super-dev-mode">Как перенести пользовательскую подгруппу GWT DevMode в режим GWT 2.7.0 Super dev, но не могу решить мою проблему. Я переношу classic dev mode в super dev mode с помощью GWT 2.5.1. У меня есть много проекта зависимостей maven, который включен в User Entries на вкладке Classpath. Также я добавил com.google.gwt.dev.codeserver.CodeServer в качестве основного класса и gwt-codeserver-2.5.1 jar на вкладке Classpath. ?gwt.codesvr=127.0.0.1:9997 из URL) код не компилируется (изменения не принимаются). В консоли под source->localhost:9876->dev_mode_on.js dev_mode_on.js существуют только другие файлы, которых нет. Любая помощь?