I agree, good point.

Also, we should document what kind of exception is thrown if `futures.isEmpty`. For consistency, we might also want to switch to `java.lang.UnsupportedOperationException` in a later major release.