void (@NotNull JList<?> list, int indexNew) { int indexOld = getHoveredIndex(list); if (indexNew == indexOld) return; list.putClientProperty(HOVERED_INDEX_KEY, indexNew < 0 ? null : indexNew); if (RenderingUtil.isHoverPaintingDisabled(list)) return; repaintIndex(list, indexOld); repaintIndex(list, indexNew); }