The third quiz will be about JPF's listeners (the material lecture 7-9). Slides of lecture 7-9 as well as the JPF notes and the API of Java and JPF will be available during the quiz. No other material may be consulted during the quiz. Not only correctness but also design and style will be considered when evaluating your work.