Revert "Fix annoying (but non-fatal) java doc error."

This reverts commit 6cfff42bf241ff4f6e4260ab981fb05f27dd39e6.

After 2e47a6e5dbd034ee7f7a2662d6d7293326d1db8e it appears not
to be necessary.
1 file changed