Please refer to <http://docs.oracle.com/javase/1.5.0/docs/tooldocs/windows/javadoc.html#packagecomment>
for the correct formatting of package-javadocs. Eclipse has problems showing it, see
<https://bugs.eclipse.org/bugs/show_bug.cgi?id=163633>, but I think we should still adhere to the standard.
