How the vManager session name(s) executed by this build are obtained.

• Leverage vManager Jenkins Plugin Information — use the data recorded by the vManager Jenkins Plugin during the build.
• Input file name — read session names from a text file (one session name per line).

The session-source choice is always taken from this GUI — never from a JSON file.