public Builder mergeFrom(Settings other) {
   if (other == Settings.getDefaultInstance()) return this;
   if (other.hasVersion()) {
     setVersion(other.getVersion());
   }
   if (other.hasClient()) {
     mergeClient(other.getClient());
   }
   if (other.hasPin()) {
     setPin(other.getPin());
   }
   if (other.hasTrustedHotspotsEnabled()) {
     setTrustedHotspotsEnabled(other.getTrustedHotspotsEnabled());
   }
   if (!other.trustedHotspots_.isEmpty()) {
     if (trustedHotspots_.isEmpty()) {
       trustedHotspots_ = other.trustedHotspots_;
       bitField0_ = (bitField0_ & ~0x00000010);
     } else {
       ensureTrustedHotspotsIsMutable();
       trustedHotspots_.addAll(other.trustedHotspots_);
     }
   }
   if (other.hasAskToInstall()) {
     setAskToInstall(other.getAskToInstall());
   }
   if (other.hasWifiLockEnabled()) {
     setWifiLockEnabled(other.getWifiLockEnabled());
   }
   return this;
 }
 public Settings getDefaultInstanceForType() {
   return Settings.getDefaultInstance();
 }