void () { if (ourPlatformPrefixInitialized) { return; } if (System.getProperty(PlatformUtils.PLATFORM_PREFIX_KEY) != null) { ourPlatformPrefixInitialized = true; return; } for (String candidate : PREFIX_CANDIDATES) { String markerPath = candidate == null ? "idea/ApplicationInfo.xml" : "META-INF/" + candidate + "Plugin.xml"; URL resource = PlatformPrefix.class.getClassLoader().getResource(markerPath); if (resource != null) { if (candidate != null) { setPlatformPrefix(candidate); } break; } } }