Reviewers: fabbott,
Please review this at http://gwt-code-reviews.appspot.com/844801/show Affected files: M dev/core/src/com/google/gwt/dev/CompilePerms.java M dev/core/src/com/google/gwt/dev/Compiler.java M dev/core/src/com/google/gwt/dev/GWTCompiler.java A dev/core/src/com/google/gwt/dev/GetJreEmulation.java M dev/core/src/com/google/gwt/dev/Precompile.java M dev/core/src/com/google/gwt/dev/SignatureDumper.java M dev/core/src/com/google/gwt/dev/util/arg/ArgHandlerDumpSignatures.java D dev/core/src/com/google/gwt/dev/util/arg/OptionDumpSignatures.java -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
