Push only if Javadocs were generated correctly.

This reverts commit 0d4cc18c4770ce6c707c0ea8f690b04cdd58b2ea.