*/
public void updateElement(WebSocketChannelDTO channel) {
synchronized (this) {
final int index = indexOf(channel);
if (index != -1) {
WebSocketChannelDTO old = getElementAt(index);
old.endTimestamp = channel.endTimestamp;
fireContentsChanged(this, index, index);
}
}