public EditorChangeAction(DocumentEvent e) {</BUG>
this((DocumentEx)e.getDocument(), e.getOffset(), e.getOldFragment(), e.getNewFragment(), e.getOldTimeStamp());
}
public EditorChangeAction(@NotNull DocumentEx document,
int offset,
<BUG>CharSequence oldString,

CharSequence newString,
</BUG>
long oldTimeStamp) {

private final int myOffset;
private final Object myOldString;
private final Object myNewString;
private final long myOldTimeStamp;
private final long myNewTimeStamp;
@NotNull private static final Charset myCharset= CharsetToolkit.UTF8_CHARSET;
public EditorChangeAction(DocumentEvent e) {
this((DocumentEx)e.getDocument(), e.getOffset(), e.getOldFragment(), e.getNewFragment(), e.getOldTimeStamp());
}
public EditorChangeAction(@NotNull DocumentEx document,
int offset,
@NotNull CharSequence oldString,
@NotNull CharSequence newString,
long oldTimeStamp) {
