Documenting Pattern Use in Java Programs