PSA: this thread has been polluted with the address: valhalla-spec-experts <valhalla-spec-experts-bounces at openjdk.java.net> Which just generates admin notifications. Please delete that address from any replies. :-)