They are made of chopped pork and pork jelly sealed in a hot water crust pastry , and are most of the time eaten cold . It consists of roughly chopped pork and pork jelly sealed in a hot water crust pastry .