<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_o0tk95f3emov3e5fv7v3eibimn, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
static int withLeftMargin_defaultWidth = 6;

static JPanel withLeftMargin(Component etc c) {
  ret withLeftMargin(withLeftMargin_defaultWidth, c);
}

static JPanel withLeftMargin(int margin, Component c) {
  ret swing(func -> JPanel {
    JPanel p = new JPanel(new BorderLayout);
    p.setBorder(BorderFactory.createEmptyBorder(0, margin, 0, 0));
    p.add(c);
    ret p;
  });
}