private function getFileOrDirectorySettings($settings, $key) {
        $filesOrDirectories = $settings->getOptional($key, array());
        if (!is_array($filesOrDirectories))
            $filesOrDirectories = array($filesOrDirectories);
        return $filesOrDirectories;
    }