Default constructors are not marked synthetic. JVM spec (2nd ed.):
"A class member that does not appear in the source code must be marked
using a Synthetic attribute." The compiler does not mark default
constructors as "Synthetic", even though they do not appear in the source
code.

Presumably the bug is in the doc, not the compiler, but maybe you'll disagree.