数字のゼロ埋め

ある数字を表示上 "０００１"など、ゼロ埋めして表示したい場合、java.text.DecimalFormatを使用する。

// "0015"を得たい場合
DecimalFormat df = new DecimalFormat("0000");
String s = df.format(15);