public Builder mergeFrom(messages.ScriptedProvider other) {
   if (other == messages.ScriptedProvider.getDefaultInstance()) return this;
   if (other.hasActive()) {
     setActive(other.getActive());
   }
   if (other.hasStopping()) {
     setStopping(other.getStopping());
   }
   this.mergeUnknownFields(other.getUnknownFields());
   return this;
 }
 public messages.ScriptedProvider getDefaultInstanceForType() {
   return messages.ScriptedProvider.getDefaultInstance();
 }