The list of abbreviated names was expanded to display mangled names. This list was designed to avoid the repetition of data and to keep the Mangled name abbreviation and the DeMangled name together. This list is already sorted in abbreviated name order.

A new list was added to account for the demangling of short names which normally do not require an abbreviation, for example, names less than seventeen bytes. Although there are probably few of these names, an accounting must be made for them.

    ********     S H O R T   M A N G L E D    N A M E S     ******

 MANGLED NAME           DEMANGLED NAME

 __javPshort       ==   __javPshort


    ********   E N D   S H O R T   M A N G L E D   N A M E S   ****