/** * Return the list of all non-default options including QUERY, SESSION and SYSTEM level * @return */ public OptionList getNonDefaultOptions() { final OptionList nonDefaultOptions = queryOptions.getOptionList(); nonDefaultOptions.mergeIfNotPresent(sabotContext.getOptionManager().getNonDefaultOptions()); return nonDefaultOptions; }