RFR: 8255013: implement Record Classes as a standard feature in Java, follow-up [v2]

[Vicente Romero]

> Hi,
> 
> I made the mistake of pushing the fix for [JDK-8246774](https://bugs.openjdk.java.net/browse/JDK-8246774) too soon and had to delta-apply it. This PR is basically proposing to push the same code as [PR-290](https://github.com/openjdk/jdk/pull/290),
> 
> Thanks and sorry for the unnecessary loop,
> Vicente

Vicente Romero has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains two commits:

 - merge with master
 - 8255013: implement Record Classes as a standard feature in Java, follow-up

-------------

Changes: https://git.openjdk.java.net/jdk/pull/769/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=769&range=01
  Stats: 892 lines in 109 files changed: 75 ins; 595 del; 222 mod
  Patch: https://git.openjdk.java.net/jdk/pull/769.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/769/head:pull/769

PR: https://git.openjdk.java.net/jdk/pull/769