JavaDoc changes in order to be able to publish