setBorder(new WidgetBorder(getBorder(), WidgetBorderType.RAISED));
if (getBorder() != null) setBorder(new WidgetBorder(getBorder(), WidgetBorderType.RAISED));
    public void doMouseButtonUp() {        if (this.buttonState != WidgetButtonStateType.BUTTON_UP) {            this.buttonState = WidgetButtonStateType.BUTTON_UP;            setBorder(new WidgetBorder(getBorder(), WidgetBorderType.RAISED));            if (getMouseOwner() == this)                getNotifierMouseButtonUp().notifyObservers(this);        }    }