public class NamedCharTable
A table to manage standard character names.
This is conceptually a HashMap<String,String>, except that
the value strings are allocated lazily when the key is first requested.
(Not sure if this is worth a separate class, but the code is
simple, it should make startup faster, and save having to
intern over 2200 value strings.)
Nested Class Summary
Nested classes/interfaces inherited from class java.util.AbstractMap