void (@NotNull String name) { try { try (FileReader reader = new FileReader(PythonHelpersLocator.getHelperPath("/tools/python_keywords/" + name), StandardCharsets.UTF_8)) { final String text = FileUtil.loadTextAndClose(reader); final String converted = StringUtil.convertLineSeparators(text, "\n"); myContent.appendRaw(converted); } } catch (IOException ignored) { } }