private static void download( String fromUrl, String toPath ) {
		System.out.println( "Download " + fromUrl );

		Path out = new File( toPath ).toPath();
		try {
			URL url = new URL( fromUrl.replace( " ", "%20" ) );
			URLConnection con = url.openConnection();
			Files.copy( con.getInputStream(), out, StandardCopyOption.REPLACE_EXISTING );
		} catch( IOException ex ) {
			LoggingFacade.INSTANCE.logSevere( null, ex );
		}
	}
This tool updates all IntelliJ themes listed in themes.json by downloading
them from the source code repositories.

@author Karl Tauber
flatlaf-demo/src/main/java/com/formdev/flatlaf/demo/intellijthemes/IJThemesUpdater.java