Как добавить разделение по тысячам в числах?

String.format()

int num = 12345;
String str = String.format("% d", num);

12 345

NumberFormat

int num = 12345;
String str = NumberFormat.getNumberInstance(Locale.US).format(num));

12,345

DecimalFormat

int num = 12345;
DecimalFormat myFormatter = new DecimalFormat("# ###");
String str = myFormatter.format(num);

12 345

К ответу выше можно добавить более точную реализацию NumberFormat:

int num = 12345;
String str = NumberFormat
    .getNumberInstance(Locale.US)
    .format(num)
    .replace(",", " ");

12 345