System.err.println(savedRepeatCount);
System.err.println("Repeat count is " + savedRepeatCount);
	private void setRepeatCount()	{		System.err.println(savedRepeatCount);		view.getInputHandler().setRepeatCount(savedRepeatCount);		savedRepeatCount = 1;	}