private static void repaintBounds(@NotNull JTree tree, @Nullable Rectangle bounds) {
    // repaint extra below and above to avoid artifacts when using fractional scaling on Windows
    if (bounds != null) tree.repaint(0, bounds.y - 1, tree.getWidth(), bounds.height + 2);
  }
private static void repaintBounds(@NotNull JTree tree, @Nullable Rectangle bounds)