javaで数字の体裁を整えて出力するには（例：001）

「１」を「００１」と出力するには、java.text.DecimalFormatを使えばいいのか。
変数に入ってる数字の桁数を調べて(ry、とかいう処理を書こうかと思ったけど、やっぱりちゃんとそういうクラスは用意してあった。

import java.text.DecimalFormat;

public class TestDecimalFormat {
	public static void main(String[] args) {
		DecimalFormat dformat = new DecimalFormat("000");
		int a = 5;
		int b = 24;
		int c = 302;
		System.out.println(dformat.format(a));
		System.out.println(dformat.format(b));
		System.out.println(dformat.format(c));
	}
}

出力結果：
005
024
302