Document synthetic methods generated by the Java frontend#1953

Merged

smowton merged 1 commit intodiffblue:developfrom

smowton:smowton/cleanup/document-java-synthetic-methods

Mar 23, 2018

Commits on Mar 23, 2018

Document synthetic methods generated by the Java frontend
smowton
committed