The summary of the API changes between artifacts org.revapi:revapi:jar:0.13.0 and org.revapi:revapi:jar:0.13.1.
