> Roland or Vladimir (take your pick of them ;-) should be in a much > better position to address the merits of these two alternatives than I am. Let me take a look. In any case, for JDK 11, I think we should move forward with your fix. Roland.