Note that, in this comment header, this line must match the name of the class below.