Commited Tue. September 09, 2008 at 06:40:51 PM EDT
useResource()/releaseResource() should forward on to corresponding calls of lock, not lock/unlock()... the latter disables thread cancellation, the former assumes MarkScope usage so cancellation is safe