/** * 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()); }