> That's super useful, thanks! If you don't mind, I'm also going to > forward your e-mail along to the OpenJDK Porters group, as it's > pretty handy thing to have on record. Sure, no problem. Regards, - Håvard