/src/main/java/org/htmlunit/html/HtmlImage.java
final String widthAttrib = getWidthAttribute ( ) ;
if (width_ < 0) { determineWidthAndHeight(); } return width_; } public int getWidthOrDefault() { <extra_id_0> if (ATTRIBUTE_NOT_DEFINED != widthAttrib) { try { return Integer.parseInt(widthAttrib); } catch (final NumberFormatException e) { }