@Override public void setOptions(FindOptions options) throws IOException { super.setOptions(options); expr.setOptions(options); }