Stephen Colebourne: Annotating JDK default data