Hi Lee,
Many thanks for the reply, and for that useful link. FYI I'm on 1.7.0_05 from Oracle. Until last week I was using a JDK from 1.6_31 or so, as I work on Java as part of the day job. However, this was 'upgraded' following the instructions on IGIndex's site to try and eliminate a...