Hashmap keys para arraylist

Programação Java
#1

Boas

Podem-me dizer como se passa todas as keys de uma hashmap para arraylist de forma eficiente?

Obrigado

#2 
new ArrayList<Integer>(mapa.keySet());

ou

lista.addAll(mapa.keySet());
#3

Parece funcionar sem problemas.

Obrigado

#4