diff --git a/.github/workflows/pitest-comment.yml b/.github/workflows/pitest-comment.yml
index 17c0ea037..2fd16b5ee 100644
--- a/.github/workflows/pitest-comment.yml
+++ b/.github/workflows/pitest-comment.yml
@@ -24,11 +24,11 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v2
         with:
           distribution: 'temurin'
-          java-version: 11
+          java-version: 17
       - name: Download artifact
         uses: dawidd6/action-download-artifact@v2
         with:
diff --git a/.github/workflows/pitest.yml b/.github/workflows/pitest.yml
index 0b9099682..630a49e4b 100644
--- a/.github/workflows/pitest.yml
+++ b/.github/workflows/pitest.yml
@@ -30,11 +30,11 @@ jobs:
           path: ~/.m2/repository
           key: ${{ runner.os }}-mvn-pitest-${{ hashFiles('**/pom.xml') }}
           restore-keys: ${{ runner.os }}-mvn-pitest
-      - name: Set up JDK 11
+      - name: Set up JDK 17
         uses: actions/setup-java@v2
         with:
           distribution: 'temurin'
-          java-version: 11
+          java-version: 17
       - name: run pitest
         # pitest has been bound to a profile called pitest for normal running
         # we add config to analyse only changes made within a PR and treat surviving mutants as check errors
diff --git a/equalsverifier-16/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/RecordsTest.java b/equalsverifier-16/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/RecordsTest.java
index 738cfd88a..99daeb0d4 100644
--- a/equalsverifier-16/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/RecordsTest.java
+++ b/equalsverifier-16/src/test/java/nl/jqno/equalsverifier/integration/extended_contract/RecordsTest.java
@@ -1,13 +1,22 @@
 package nl.jqno.equalsverifier.integration.extended_contract;
 
 import static nl.jqno.equalsverifier.testhelpers.Util.defaultEquals;
+import static org.junit.jupiter.api.Assertions.assertFalse;
+import static org.junit.jupiter.api.Assertions.assertTrue;
 
 import nl.jqno.equalsverifier.EqualsVerifier;
+import nl.jqno.equalsverifier.internal.reflection.RecordsHelper;
 import nl.jqno.equalsverifier.testhelpers.ExpectedException;
 import org.junit.jupiter.api.Test;
 
 public class RecordsTest {
 
+    @Test
+    public void sanityCheckForRecordsHelper() {
+        assertTrue(RecordsHelper.isRecord(SimpleRecord.class));
+        assertFalse(RecordsHelper.isRecord(String.class));
+    }
+
     @Test
     public void succeed_whenClassIsARecord() {
         EqualsVerifier.forClass(SimpleRecord.class).verify();