Relatively simple update to fix an oversight in the support for records. `RECORD` was not added to `DeprElementKind` with the derivative downstream updates.
------------- Commit messages: - JDK-8258338: Support deprecated records Changes: https://git.openjdk.java.net/jdk16/pull/29/files Webrev: https://webrevs.openjdk.java.net/?repo=jdk16&pr=29&range=00 Issue: https://bugs.openjdk.java.net/browse/JDK-8258338 Stats: 84 lines in 5 files changed: 83 ins; 0 del; 1 mod Patch: https://git.openjdk.java.net/jdk16/pull/29.diff Fetch: git fetch https://git.openjdk.java.net/jdk16 pull/29/head:pull/29 PR: https://git.openjdk.java.net/jdk16/pull/29
