Returns the original name used to create this key.
()
| 768 | * Returns the original name used to create this key. |
| 769 | */ |
| 770 | public final String originalName() { |
| 771 | return originalName; |
| 772 | } |
| 773 | |
| 774 | /** |
| 775 | * Returns the normalized name for this key. |
no outgoing calls