Revert "Work around a bug in javadoc"

Apparently, this fix does not actually work. (It seemed to work in my
local tests before pushing, but apparently I was mistaken somehow.)

This reverts commit 40a227ec16f9cc2bf13b534ae42cf47fb263607b.