fix for SourceForge issue 667.
New tags "dd", "dt" were added.
Sorry for extra formatting but it was required to satisfy build.
fix for SF-667 JavadocStyle checkHTML bad Extra HTML tag found errors
fix for SF-667 JavadocStyle checkHTML bad Extra HTML tag found errors…
…, font tag was added
Sorry, have done something strange with commits for this PR trying to preserve simple history... Any problems leaving this as a monument for my incompetence with git? Alternative seems to be enabling force pushes via github support, rewriting this ugly five commits and disabling force pushes again.
I saw your changes ... looks weird, do you have history of commands ?
It might be caused by my previous merge that was not a fast-forward merge, I forgot to use manual merge commands and just pressed "Merge" in git.
I do not like rewriting history, lets keep it as is, not a big deal.