void (@NotNull Path oldConfigDir, @NotNull Path newConfigDir, @NotNull Logger log) { String nameWithVersion = getNameWithVersion(oldConfigDir); Matcher m = Pattern.compile("\\.?\\D+(\\d+\\.\\d+)?").matcher(nameWithVersion); if (m.matches() && VersionComparatorUtil.compare("2019.1", m.group(1)) >= 0) { String keymapFileSpec = StoreUtilKt.getDefaultStoragePathSpec(KeymapManagerImpl.class); if (keymapFileSpec != null) { Path keymapOptionFile = newConfigDir.resolve(PathManager.OPTIONS_DIRECTORY).resolve(keymapFileSpec); if (!Files.exists(keymapOptionFile)) { try { Files.createDirectories(keymapOptionFile.getParent()); Files.writeString(keymapOptionFile, (""" <application> <component name="KeymapManager"> <active_keymap name="Mac OS X" /> </component> </application>""")); } catch (IOException e) { log.error("Cannot set keymap", e); } } } } }