Dataset.listNames return type

[Benson Margulies]

Dataset.listNames() in fact returns a NiceIterator<String>, but is
declared to return a plain iterator? Could we change that? I'm
suffering from concurrent mod exceptions and I'd like to call toList
without generic type casting pain.