What does the finally do? Isn't this just
```
try {
  ...
  return option;
} catch (...) {
  Throwables.propagate(e);
}
```
?