protected void setWidth0(String width) {
        if (width != null && width.length() == 0)
            width = null;
        if (!Objects.equals(_auxinf != null ? _auxinf.width : null, width)) {
            initAuxInfo0().width = width;