Implementations of java's Lock & Executor