LockingRevFile
public interface Lock
void
close()
open()
java.util.Properties
properties()
update()
void open() throws java.io.IOException
java.io.IOException
void close() throws java.io.IOException
java.util.Properties properties()
void update() throws java.io.IOException