public void removePropertyChangeListener(String property, PropertyChangeListener lst) {
propChangeSupport.removePropertyChangeListener(property, lst);
}
public void setScriptDataElements(ScriptDataElementsModel des) {
DataElementHovererDisplayer hoverer = new DataElementHovererDisplayer(des);
mouseHoverer.setDisplayerForToken(Tokens.SOURCE_PATH, hoverer);
mouseHoverer.setDisplayerForToken(Tokens.GLOBAL_DATA_ELEMENT, hoverer);
}