It would be good to better specify the behavior of `null` in the package `com.sun.source.doctree` ... and maybe use `Objects.requireNonNull` where appropriate.