Need isDefault() to identify default constructors.
Allows comment-checking doclets to distinguish
between explicit constructors missing a comment
and auto-generated constructors missing from the
source code.

Our programming guidelines say that default
constructors should be avoided. This would
allow us to test for their presence and emit
a warning when Javadoc is run.