genjavadoc is now off by default, see #3141

but it complains if you then try to build the docs