if (active) { formatter = NumberFormat.getIntegerInstance(); formatter.setMinimumIntegerDigits(4); formatter.setGroupingUsed(false); }
	public TestingGround(BugReporter bugReporter) {		this.bugReporter = bugReporter;		if (active) {			formatter = NumberFormat.getIntegerInstance();			formatter.setMinimumIntegerDigits(4);			formatter.setGroupingUsed(false);		}	}