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

[Vicente Romero]

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

This pull request has now been integrated.

Changeset: 8bde2f4e
Author:    Vicente Romero <vromero at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/8bde2f4e
Stats:     894 lines in 109 files changed: 72 ins; 600 del; 222 mod

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

Co-authored-by: Vicente Romero <vromero at openjdk.org>
Co-authored-by: Harold Seigel <hseigel at openjdk.org>
Co-authored-by: Chris Hegarty <chegar at openjdk.org>
Reviewed-by: jlahoda

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

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