We harvested them, and, as a class, decided what we would make out of them.
After a very lengthy discussion of 'oos' and 'yacks', it was decided that a Courgette and Broad Bean Rice Salad with lemon and lime vinaigrette dressing was the choice.
Some of us had not tasted broad beans before, but, after some persuasion, thought, 'Yes, they are OK!', and would eat them again. :)