hash = (53 * hash) + getNodeManagerHttpPort();
hash = (53 * hash) + getNodeManagerHttpPort();
hash = (53 * hash) + getNodeManagerHttpPort();
result = result && (getNodeManagerHttpPort() == other.getNodeManagerHttpPort());
result = result && (getNodeManagerHttpPort() == other.getNodeManagerHttpPort());
result = result && (getNodeManagerHttpPort() == other.getNodeManagerHttpPort());
result = result && (getNodeManagerHttpPort() == other.getNodeManagerHttpPort());
hash = (53 * hash) + getNodeManagerHttpPort();
setNodeManagerHttpPort(other.getNodeManagerHttpPort());
setNodeManagerHttpPort(other.getNodeManagerHttpPort());
setNodeManagerHttpPort(other.getNodeManagerHttpPort());
setNodeManagerHttpPort(other.getNodeManagerHttpPort());