public Builder setPlatformClasspath(
            int index, java.lang.String value) {
          if (value == null) { throw new NullPointerException(); }
          ensurePlatformClasspathIsMutable();
          platformClasspath_.set(index, value);
          bitField0_ |= 0x00000008;
          onChanged();
          return this;
        }
public Builder setPlatformClasspath(
            int index, java.lang.String value)