public List<String> getOptions() {
      return options;
    }
Gets a set of valid options that can be used with the Server launcher command when used from
the command-line.

@return a Set of Strings indicating the names of the options available to the Server launcher
        command.
geode-core/src/main/java/org/apache/geode/distributed/ServerLauncher.java