I am going to push an update to openjdk/shenandoah master that brings it in sync with current openjdk/jdk master. This is a clean merge because we are keeping master branches in sync with no pollutions. Roman