Value Types for Java
cr.openjdk.org