added space before <pre>
Merge branch 'bugfix_javadoc_html' into feature_external_reporting