Estoy escribiendo un servlet y necesito obtener todos los parámetros de la solicitud. Encontrérequest.getParameterNames devuelve unjava.util.Enumeration, así que tengo que escribir el código como:

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

uiero saber si hay alguna forma de convertir unEnumeration a unSeq/List, entonces puedo usar lamap método?