public synchronized void updateVectorTime(JID source, JID dest) {
Jupiter proxy = this.proxies.get(source);
if (proxy != null) {
try {
Timestamp ts = proxy.getTimestamp();
this.proxies.get(dest).updateVectorTime(
new JupiterVectorTime(ts.getComponents()[1], ts
.getComponents()[0]));
} catch (TransformationException e) {
JupiterDocumentServer.log.error(
"Error during update vector time for " + dest, e);
}