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