Let the onions cook in the pork juices, adding a little more oil if necessary, for a good 20 minutes, turning them occasionally. When the onions are golden on all sides pour in the sherry and let it bubble for a minute or two. Return the pork to the pan, and scatter the fennel and mustard seeds over the meat.