static MouseAdapter onMouseDown_anyButton(Component c, Runnable r) { ret onMouseDown(c, runnableToIVF1(r)); } static MouseAdapter onMouseDown_anyButton(Component c, IVF1 f) { ret c == null || f == null ?: swing(-> { MouseAdapter ma = new { public void mousePressed(MouseEvent e) { f.get(e); } }; c.addMouseListener(ma); ret ma; }); }