Ehm, versione + performante (nonchè + breve )

//formattiamo un numero a 4 cifre
DecimalFormat nf = new DecimalFormat("0000");
String nuovoNumero = nf.format(numero);