constructor templates need no @Constructor annotation. Only, if a
default constructor shall be generated, @Constructor is required.