void (Charset charset, Charset oldCached, @NotNull Document document) { document.putUserData(CACHED_CHARSET_FROM_CONTENT, charset); firePropertyChange(document, PROP_CACHED_ENCODING_CHANGED, oldCached, charset); }