void (@Nullable Object requestor, String content, boolean fireEvent) { long oldStamp = myModStamp; myText = content; if (fireEvent) { myModStamp = LocalTimeCounter.currentTime(); myListener.contentsChanged(new VirtualFileEvent(requestor, this, null, oldStamp, myModStamp)); } }