allow switching off genjavadoc, see #3141