private static void renameButton(CustomButton a) {
		String newName = a.getText();
		if (getCountAll(a.getText()) != null)
			newName += "     (" + getCountAll(a.getText()) + ")";
		if (getCountMatch(a.getText()) != null)
			newName += "     (" + getCountMatch(a.getText()) + ")";

		a.setText(newName);
	}