/** * Set the revision of a versioned file to the given revision, without altering the file contents. * (This is a way to "update" but keep the current file contents. The server doesn't need to be * contacted). */ public synchronized void setFileVersion(File file, String revision) throws IOException { Entry cvsEntry = adminHandler.getEntry(file); if (cvsEntry != null) { cvsEntry.setRevision(revision); } else { cvsEntry = new Entry(); cvsEntry.setName(file.getName()); cvsEntry.setRevision(revision); } adminHandler.setEntry(file, cvsEntry); }