Initial Date: 19.07.2005 @author Felix Jost
81828384858687
public boolean isKeepState() { return true; } public void reset() { curNavElem = new DefaultNavElement(origNavElem); }