>It was part of my pgjindent work. I can easily fix it. Which ones do
>people want changed? All of them?
I believe that JavaDoc usually ignores /** when it is not expected, so, if
you changed every /* for a /** you would get at least all the JavaDocs,
rather than having some stuff be missing...
Cheers,
Doug
