Как преобразовать Enumeration в Seq / List в scala?

Я пишу сервлет, и мне нужно получить все параметры из запроса. Я обнаружил, что request.getParameterNames возвращает java.util.Enumeration , поэтому мне нужно написать код как:

val names = request.getParameterNames
while(names.hasMoreElements) {
    val name = names.nextElement
}

Я хочу знать, есть ли способ преобразовать Enumeration в Seq / List , тогда я могу использовать метод map ?