[java] define "record header" element kind

GitOrigin-RevId: 91f02e6ab23e47e05612413074ef30eb31dd854d

java/java-frontback-psi-api/resources/messages/JavaPsiBundle.properties

@@ -42,6 +42,7 @@ element.parameter=parameter
 element.pattern_variable=pattern variable
 element.record=record
 element.record_component=record component
+element.record_header=record header
 element.snippet_body=snippet body
 element.statement=statement
 element.unknown=element

java/java-psi-api/src/com/intellij/psi/util/JavaElementKind.java

@@ -39,6 +39,7 @@ public enum JavaElementKind {
   RECEIVER_PARAMETER("element.receiver.parameter"),
   RECORD("element.record"),
   RECORD_COMPONENT("element.record_component"),
+  RECORD_HEADER("element.record_header"),
   SEMICOLON("element.type.semicolon"),
   SNIPPET_BODY("element.snippet_body"),
   STATEMENT("element.statement"),
@@ -162,6 +163,9 @@ public enum JavaElementKind {
     if (element instanceof PsiRecordComponent) {
       return RECORD_COMPONENT;
     }
+    if (element instanceof PsiRecordHeader) {
+      return RECORD_HEADER;
+    }
     if (element instanceof PsiLocalVariable) {
       return LOCAL_VARIABLE;
     }