No need for the JavaDoc plugin