if (selectionAttributes==null || !this.selectionAttributes.equals(selectionAttributes)) { this.selectionAttributes = selectionAttributes;
if (selectionAttributes == null || !newAttributes.equals(selectionAttributes)) { this.selectionAttributes = newAttributes;
    public void setSelectionAttributes(AttributeSet selectionAttributes) {        if (selectionAttributes == null)            throw new IllegalArgumentException("null not allowed");        if (selectionAttributes==null || !this.selectionAttributes.equals(selectionAttributes)) {            this.selectionAttributes = selectionAttributes;            reload(ReloadManager.RELOAD_STYLE);        }    }