public Lock writeLock() { return writerLock_; }
public Lock readLock() { return readerLock_; }
/** Use a {@link SerializedReadWriteLock} as placeholder in the serialization stream. */
private Object writeReplace() throws ObjectStreamException {
return new SerializedReadWriteLock();
}