void (@NotNull JpsGlobal global, @Nullable String encoding) { if (encoding != null) { global.getContainer().setChild(ENCODING_ROLE, JpsElementFactory.getInstance().createSimpleElement(encoding)); } else { global.getContainer().removeChild(ENCODING_ROLE); } }