Estou escrevendo um servlet e preciso obter todos os parâmetros da solicitação. eu encontreirequest.getParameterNames retorna umjava.util.Enumeration, então eu tenho que escrever código como:

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

Eu quero saber se existe alguma maneira de converter umEnumeration para umSeq/List, então eu posso usar omap método?