static Set<String> getLeaves(Collection<String> optionPaths) {
		Set<String> childNames = new HashSet<>();
		for (String path : optionPaths) {
			int index = path.indexOf(DELIMITER);
			if (index < 0) {
				childNames.add(path);
			}
		}
		return childNames;
	}
Sets the name for this Options object.  Used when updating old options names to new names.
@param newName the new name for this options object.
Ghidra/Framework/Gui/src/main/java/ghidra/framework/options/AbstractOptions.java