if often happens that releases fail due to small javadoc errors, which get obvious when the "javadoc:javadoc" goal is executed on the command line. but this does not fail our CI builds, that's why it often goes unnoticed for quite some time (also in PRs).
we should add that goal to our default build goals in jenkins. WDYT? stefan
