de.richsource.gradle.plugins.gwt

Interface GwtSuperDevOptions