Test of the new DateFormat annotation, adds format parameter