* Never use the _type_ of a UI element in its name (view, wizard,
dialog, ...).
* Also use a blank for "Java Element", even though that is related to
the JavaElement class. People not knowing that class will assume a typo
otherwise.