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

Wed Oct 21 13:15:23 UTC 2020

On Tue, 20 Oct 2020 18:46:45 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> 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

Marked as reviewed by jlahoda (Reviewer).

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

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