static {
// load entities
load0("res/HTMLlat1.properties");
load0("res/HTMLspecial.properties");
load0("res/HTMLsymbol.properties");
load0("res/XMLbuiltin.properties");
load0("res/Zimbra.properties");
// store reverse mappings
Enumeration keys = ENTITIES.propertyNames();
while (keys.hasMoreElements()) {
String key = (String) keys.nextElement();
String value = ENTITIES.getProperty(key);
if (value.length() == 1) {
int ivalue = value.charAt(0);
SEITITNE.put(ivalue, key);
}
}
}
/** Returns the name associated to the given character or null if the character is not known. */
public static String get(int c) {
return SEITITNE.get(c);
} // get(int):String
