I was afraid of that.. thanks! Out of curiousity, though, what version of openjdk did you use? Supposedly version 7 should be much better, as it is now the reference implementation.. but I have no idea how much of that is true, and how much is spin...
Take care, -stu
