/src/main/java/org/htmlunit/html/HtmlSelect.java
setSelectedAttribute( newOption, false) ;
setSelectedAttribute ( newOption, true ) ;
return; } i++; } } if (newOption.isSelected()) { <extra_id_0> } } public void appendOption(final HtmlOption newOption) { appendChild(newOption); ensureSelectedIndex(); }