String () { final String supported = CustomDictionaryProvider.EP_NAME.getExtensionList().stream() .map(ext -> ext.getDictionaryType()) .collect(Collectors.joining(", ")); return supported.isEmpty() ? supported : ", " + supported; }