public void setLoadingStatusBorderthickness(int[] border) {
        if ((border == null) || (border.length != 4)) {
            this.loadingStatusBorderthickness = null;

        } else {
            this.loadingStatusBorderthickness = border;
        }
        somethingChanged();
    }