checkOutElement.appendChild(timeElement);
Element root = document.getDocumentElement();
root.insertBefore(dpf.newTextNode(document, "\n"), root.getFirstChild());
root.insertBefore(checkOutElement, root.getFirstChild());
root.insertBefore(dpf.newTextNode(document, "\n"), root.getFirstChild());
setDirty();
// If this is a checkout, we write back the changed state
// to the file immediately because otherwise another