class wants constructor so members can be declared final.