関連ワード:  java record examples    java record example baeldung    java record sample    java record format    java record class examples    java 17 record examples    java record type example    java record types