static void fixDesktopPane(JDesktopPane pane) {
  for (JInternalFrame f : pane.getAllFrames())
    fixInternalFrame(f);
}