src/com/google/javascript/jscomp/gwt/client/GwtRunner.java
/**
   * Updates the destination flags (user input) with source flags (the defaults). Returns a list
   * of flags that are on the destination, but not on the source.
   */
Updates the destination flags (user input) with source flags (the defaults). Returns a list
of flags that are on the destination, but not on the source.
Updates the destination flags ( user input ) with source flags ( the defaults ) . Returns a list of flags that are on the destination but not on the source .
private static native String[] updateFlags(Flags dst, Flags src) /*-{
    for (var k in src) {
      if (!(k in dst)) {
        dst[k] = src[k];
      }
    }
    var unhandled = [];
    for (var k in dst) {
      if (!(k in src)) {
        unhandled.push(k);
      }
    }
    return unhandled;
  }-*/;
private static native String [ ] updateFlags ( Flags dst , Flags src ) /*-{
    for (var k in src) {
      if (!(k in dst)) {
        dst[k] = src[k];
      }
    }
    var unhandled = [];
    for (var k in dst) {
      if (!(k in src)) {
        unhandled.push(k);
      }
    }
    return unhandled;
  }-*/ ;
Updates the destination flags (user input) with source flags (the defaults).
Updates the destination flags ( user input ) with source flags ( the defaults ) .