JLabel (@NotNull CollectionTree tree) { final JLabel label = new JBLabel(String.valueOf(tree.getItemsCount()), SwingConstants.CENTER); label.setForeground(JBColor.GRAY); final Font oldFont = label.getFont(); label.setFont(oldFont.deriveFont(oldFont.getSize() - JBUIScale.scale(1.f))); label.setBorder(JBUI.Borders.empty(3, 0)); return label; }