public static void main( String[] args ) {
		IJThemesManager themesManager = new IJThemesManager();
		themesManager.loadBundledThemes();

		HashSet<String> names = new HashSet<>();
		for( IJThemeInfo ti : themesManager.bundledThemes ) {
			if( ti.sourceCodeUrl == null || ti.sourceCodePath == null )
				continue;

			String jsonPath = "../flatlaf-intellij-themes/src/main/resources" + IJThemesPanel.THEMES_PACKAGE + ti.resourceName;
			String name;
			try {
				name = readNameFromJson( jsonPath );
			} catch( IOException ex ) {
				System.err.println( "Failed to read '" + jsonPath + "'" );
				continue;
			}

			if( names.contains( name ) )
				System.out.println( "Duplicate name '" + name + "'" );
			names.add( name );
		}
	}
This tool checks whether there are duplicate name fields in all theme .json files.

This is important for following file, where the name is used for theme specific UI defaults:
  flatlaf-core/src/main/resources/com/formdev/flatlaf/IntelliJTheme$ThemeLaf.properties

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