void repaintBorder( Component c ) {
			c.repaint( 0, 0, c.getWidth(), 1 );
		}
Window top border used on Windows 10.
No longer needed since Windows 11.
flatlaf-core/src/main/java/com/formdev/flatlaf/ui/FlatNativeWindowBorder.java