Jakub Jelinek writes: > Ulrich has notified Sun AFAIK Thanks, good to know that you have already dealt with it. > they have changed it in latest JDK. Indeed they promise to fix it in JDK 1.4.1 (bug #4654443), But the fix is not contained in the "stable" JDK 1.3.1 updates. In the meantime one needs a workaround... Bruno