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