public Object clone() {
		TMConfiguration newConfig = new TMConfiguration(this.getCurrentState(),
				(TMConfiguration) this.getParent(), myTapes, myFilters);
		newConfig.setFocused(this.getFocused());
        newConfig.setHalted(this.isHalted());
		return newConfig;

	}