[#1120] Make sure releaseExternal() can not cause a deadlock if the ExecutorService is shared