jxtn.core.dev/jdt-iterable_exception.md: incomplete