void (@NotNull PsiElement element) { if (element instanceof PsiFile || element instanceof EditorConfigSection) { super.visitElement(element); } else if (element instanceof EditorConfigOption) { EditorConfigFlatOptionKey obj1 = ((EditorConfigOption)element).getFlatOptionKey(); String keyName = obj1 == null ? null : obj1.getName(); if (ConfigEncodingCharsetUtil.charsetKey.equals(keyName)) { EditorConfigOptionValueIdentifier obj = ((EditorConfigOption)element).getOptionValueIdentifier(); String charsetStr = obj == null ? null : obj.getName(); if (charsetStr != null) { charsets.add(charsetStr); } } } }