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