synchronized public void setShortestHistory(List<Integer> shortestHistory) {
		if (this.shortestHistory.size() == 0
				|| shortestHistory.size() < this.shortestHistory.size()) {
			this.shortestHistory = shortestHistory;
		}
	}