JabRef lock files