protected void removeRedundantState() {  }
protected void removeRedundantState() { Iterator i = preState.keySet().iterator(); while (i.hasNext()) { Object key = i.next(); if (postState.containsKey(key)) { if (preState.get(key).equals(postState.get(key))) { i.remove(); postState.remove(key); } } } }
	protected void removeRedundantState() {		// TODO	} // removeRedundantState()