s.append("\""); s.append(" height=\""); if ( height>0 ) s.append(height); else if ( image != null ) s.append(image.getIconHeight());  s.append("\"");
if ( height > 0 || image != null ) { s.append(" height=\""); if ( height>0 ) s.append(height); else s.append(image.getIconHeight()); s.append("\""); }
    public void appendPrefix(Device s) {        String imagePath = this.imagePath;        if ( image!=null ) {            try {                imagePath = getExternalizeManager().externalize(image);            } catch ( Exception e) {}        }        s.append("<img src=\""+imagePath+"\"");        if ( text!=null && text.length()>0 )            s.append(" alt=\"" + text + "\"");        s.append(" width=\"");        if ( width>0 )            s.append(width);        else        if ( image != null )            s.append(image.getIconWidth());        s.append("\"");        s.append(" height=\"");        if ( height>0 )            s.append(height);        else        if ( image != null )            s.append(image.getIconHeight());        s.append("\"");        if ( alignment==SConstants.RIGHT_ALIGN )            s.append(" align=\"right\"");        else if ( alignment==SConstants.LEFT_ALIGN )            s.append(" align=\"\"left\"");        else if ( alignment==SConstants.CENTER_ALIGN )            s.append(" align=\"middle\"");        else if ( alignment==SConstants.TOP_ALIGN )            s.append(" align=\"top\"");        else if ( alignment==SConstants.BOTTOM_ALIGN )            s.append(" align=\"bottom\"");        s.append(" border=\"" + border + "\" />");    }