/**
* Provide the name of the JavaScript element. This is the final identifier in any qualified name.
*
* @return the simple name of a JavaScript element.
*/
public String getElementName() {
return DottedNameTools.getFinalNameSegment(getJavaScriptId());
}
