@Override
	public int hashCode() {
		final int prime = 31;
		int result = 1;
		result = prime * result + (HAS_PORTAL ? 1231 : 1237);
		result = prime * result + ((bank == null) ? 0 : bank.hashCode());
		result = prime * result
				+ ((currentPlanet == null) ? 0 : currentPlanet.hashCode());
		result = prime * result + ((robot == null) ? 0 : robot.hashCode());
		return result;
	}