3856     *wrt++ = '\0';

  3856     *wrt++ = '\0';

  3857     // We now have a complete token

  3857     // We now have a complete token

  3858 

  3858 

  3859     JavaVMOption option;

  3859     JavaVMOption option;

  3860     option.optionString = opt_hd;

  3860     option.optionString = opt_hd;

  3861 

  3862 

  3862     options->append(option);                // Fill in option

  3863     options->append(option);                // Fill in option

  3863 

  3864 

  3864     rd++;  // Advance to next character

  3865     rd++;  // Advance to next character

  3865   }

  3866   }