Clean up javadoc warnings

Building the user documentation yields a lot of warnings and errors from javadoc. See attached log (can also be found under the "Build Docs" task in bamboo).