Show accented 'e' characters in menus/tooltips.

"Protege" was displayed without the accented 'e' characters in several
places in menus and tooltips.  Added Unicode encoding to plugin.xml
files, and some Java code to display the menu and tooltip text
accordingly.