I would suggest to push it into JDK 12. It is P3 and nasty one. Thanks, Vladimir On 1/11/19 5:51 AM, Roland Westrelin wrote: > > Also: I targeted this to 13 but I don't really have a strong opinion > whether it should go in 12 or 13. > > Roland. >