cosmetics: Switch Doxygen comments to JavaDoc style.