/**
  * delete an active TriggerContext for a player
  *
  * @param player a bukkit player
  */
 public void deleteContext(final Player player) {
   playerManager.cancelContext(getEditorPlayer(player));
 }