String () { AdjustableUndoableAction action = myActionReference.get(); String info = action == null ? "" : (" for " + action); return String.format("(%d, %d, %d, %d, %d)%s", myOffset, myOldLength, myNewLength, myOldDocumentLength, myNewDocumentLength, info); }