droolsjbpm/guvnor — comment on commit 4e0873f8dcf53f812dd7929c59c7767b61ea8777
File:  line 0
By yurloc:

The duplicate attempt still occurs when the server shuts down. I guess that could be a concurrency issue. How about making `synchronized logout()`?