Currently the Maven based build does not enable the profiles which will trigger documentation build (PDFs) and the aggregated javadoc validation.

Since it shouldn't take very long to build these anymore (it used to), we should now enable these profiles by default to:

• simplify build instructions (see README)
• catch errors in javadoc earlier in the development process