5354555657585960616263
} if (oldW != newW) { for (int i = 0; i < v.length; i++) { Value vi = v[i]; if (vi.getWidth() != newW) { v[i] = vi.extendWidth(newW, Value.FALSE); } } width = newWidth; } }
5657585960616263646566