public boolean equals(Object configuration) {
		if (configuration == this)
			return true;
		try {
			return super.equals(configuration)
					&& myUnprocessedInput
							.equals(((FSAConfiguration) configuration).myUnprocessedInput);
		} catch (ClassCastException e) {
			return false;
		}
	}