We’ve rebased the HotSpot 23 support in the upcoming 1.13.x release of IcedTea (currently HEAD, no branch as yet) so that it uses HotSpot from the u25 tag in the OpenJDK repositories rather than the IcedTea 2.3.x version. This gives the potential for this same version of HotSpot to be added upstream in OpenJDK 6. Users, especially those on ARM32, are strongly encouraged to test the latest HEAD revision.