static int centerTopFrame_inset = 20;

static JFrame centerTopFrame(JFrame frame) {
  centerFrame(frame);
  frame.setLocation(frame.getLocation().x, centerTopFrame_inset);
  ret frame;
}