if (width != null && width.trim().length() > 0)
if (width != null)
    public void writePrefix(Device d, STable table)        throws IOException    {        String width = table.getWidth();        Style style = table.getStyle();        d.append("<table");        if (width != null && width.trim().length() > 0)            d.append(" width=\"").append(width).append("\"");        Utils.writeStyleAttribute(d, style);        d.append(">\n");    }