Andreas, > So, you're right, in the current OpenJDK version, this issue is already fixed (using a more general solution :) and my patch is not necessary any more... Thanks for figuring that out. Will close the bug then. Roland.