Using Records as Projections in JPA