In GWT 2.5.1 release notes there is a new option (-noprecompile) that can be added when starting super dev mode. But when i add it to the run configuration, i get the message
Unknown argument: -noprecompile
Google Web Toolkit 2.5.1
What am I doing wrong ?