AllClassesHaveDefaultConstructor
DRAFT
Observed

AllClassesHaveDefaultConstructor
Incorrect

All classes automatically get a no-argument constructor

Correct

Only classes without constructor automatically get a no-argument constructor

Correction
Here is what's right.

A class only gets a default constructor if it contains no constructor declaration.