4.0.0 org.springframework.data.examples spring-data-jpa-examples 2.0.0.BUILD-SNAPSHOT spring-data-jpa-vavr Spring Data JPA - Vavr integration io.vavr vavr 0.10.3