// Set the punch card format for the event.
public static void ChangePunchcardFormat(EventDB eventDB, PunchcardFormat punchcardFormat)
{
Event e = eventDB.GetEvent();
e = (Event) e.Clone();
e.punchcardFormat = (PunchcardFormat) punchcardFormat.Clone();
eventDB.ChangeEvent(e);
}