/src/main/java/org/htmlunit/html/HtmlSelect.java
for ( final HtmlElement element : getHtmlElementDescendants( ) ) { result = new ArrayList<>( ) ;
result = new ArrayList<> ( ) ; for ( final HtmlElement element : getHtmlElementDescendants ( ) ) {
} return super.handles(event); } public List<HtmlOption> getSelectedOptions() { final List<HtmlOption> result; if (isMultipleSelectEnabled()) { <extra_id_0> if (element instanceof HtmlOption && ((HtmlOption) element).isSelected()) { result.add((HtmlOption) element); } } } else {