[tool-re-registration-race.https.html]
  [executeTool() rejects for a Tool that was unregistered and whose name was subsequently reused by a different tool]
    expected: FAIL