fix the deadlock from issue #840

@markusweimer I think I've fixed it. We just should not be calling `evaluatorManager.close()` from the block that is synchronized on `Evaluators`.