static @NotNull Set<Charset> widelyKnownCharsets() {
    Set<Charset> result = new HashSet<>();
    result.add(StandardCharsets.UTF_8);
    result.add(CharsetToolkit.getDefaultSystemCharset());
    result.add(CharsetToolkit.getPlatformCharset());
    result.add(StandardCharsets.UTF_16);
    result.add(StandardCharsets.ISO_8859_1);
    result.add(StandardCharsets.US_ASCII);
    result.add(EncodingManager.getInstance().getDefaultCharset());
    result.add(EncodingManager.getInstance().getDefaultCharsetForPropertiesFiles(null));
    result.remove(null);
    return result;
  }
static @NotNull Set<Charset> widelyKnownCharsets()