int dot = key.indexOf('.', prefix.length());
String name = key.substring(prefix.length(), dot);
if (!alerts.containsKey(name)) {
Alert a = createAlert(name);
alerts.put(name, a);
}
} //fi
} // end while
return (Alert[]) alerts.values().toArray(new Alert[0]);