jgetOptions: Convert options list into the character vector.
Description
Convert options list into the character vector.Usage
jgetOptions(service, options)
Details
Convert options list into the character vector suitable for submission
to Java Web Services subsystem.