[Test] Record class in Java17

[aosen-xiong]

PICO should handle record class as default immutable and check the consistency.
See https://docs.oracle.com/en/java/javase/17/language/records.html