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