maybe you mean petstore

petclinic.html says:
"AbstractWizardFormController is not used in Petclinic and is not discussed here. "

although jpetstore does seems to use it in OrderFormController,...