fixing javadoc (reverted from commit 60bb4be63830c3735f730128c14d5a3ced70cdb6)