public void reset() {
		configurations.clear();
		if (simulator instanceof TMSimulator) {
			TMSimulator tmSim = (TMSimulator) simulator;
			Configuration[] configs = tmSim.getInitialConfigurations(tmSim
					.getInputStrings());
			for (int i = 0; i < configs.length; i++) {
				configurations.add(configs[i]);
			}
		} else {
			for (int i = 0; i < originalConfigurations.length; i++) {
				originalConfigurations[i].reset();
				configurations.add(originalConfigurations[i]);
			}
		}
		// What the devil do I have to do to get it to repaint?
		// configurations.invalidate();
		configurations.validate();
		configurations.repaint();

		// Change them darned selections.
		changeSelection();
	}