I suggest adding     <property name="option" value="text"/> so that people can add a comment when a catch is intentionally ignored