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

[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

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

Commit messages:
 - 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=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8255013
  Stats: 856 lines in 109 files changed: 72 ins; 562 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