Copied from com.google.gwt.dev.util.arg.OptionSaveSourceOutput#setSaveSourceOutput:

      /**
       * Sets the directory or jar where the GWT compiler should write the source code,
       * or null to skip writing it. If a jar exists then it will be overwritten.
       */
      void setSaveSourceOutput(File dest);