Nota, ho scritto male prima: non è keys() ma keySet()