static int withTopAndBottomMargin_defaultWidth = 6;

static JPanel withTopAndBottomMargin(Component c) {
  JPanel p = new JPanel(new BorderLayout);
  int w = withTopAndBottomMargin_defaultWidth;
  p.setBorder(BorderFactory.createEmptyBorder(w, 0, w, 0));
  p.add(c);
  ret p;
}