* the player
* @return the history
*/
protected static ExecutionHistory getHistory(final Player player) {
if (!histories.containsKey(player.getName()))
histories.put(player.getName(), new ExecutionHistory());
return histories.get(player.getName());
}