More pedantic syntax for fragile javadoc from GCJ (fixes build on SL6/PPC64).