Whilst reviewing another fix I noticed

  static {
         System.err.flush();
...
}

I can't think why that is there.
But it isn't relevant to the fix under review so I'll look at it afterwards.