ISPN-4651 LevelDB crashes JVM when stop() is called concurrently with write()

https://issues.jboss.org/browse/ISPN-4651
And what would we get? We don't need reentrancy, and semaphore looks more lightweight to me.