java数字转换为字符串，长度不够前面补0

有时候我们需要固定长度的字符串做流水号，每添加一个记录时流水号的值加1，
而流水号的长度保持不变。

一般的做法是先把流水号转换为数值型，然后此数值加1，再把数值转换为字符串，
长度不够流水号长度时再在前面补0：

//流水号加1后返回
public static String haoAddOne(String liuShuiHao){
??? Integer intHao = Integer.parseInt(liuShuiHao);
??? intHao++;
??? String strHao = intHao.toString();
??? while (strHao.length() < liuShuiHao.length())
??????? strHao = "0" + strHao;
??? return strHao;
}

用java中的DecimalFormat，可以简化：

//流水号加1后返回，流水号长度为4
private static final String STR_FORMAT = "0000";?

public static String haoAddOne(String liuShuiHao){
??? Integer intHao = Integer.parseInt(liuShuiHao);
??? intHao++;
??? DecimalFormat df = new DecimalFormat(STR_FORMAT);
??? return df.format(intHao);
}