build server seems to have problems with malformed html in minibus/src/main/javadoc/overview.html; trying to improve this
Authored by: vsp_nagel 2014-12-09
Parent: [r31458]
Child: [r31460]
