java 数据格式有关问题

java 数据格式问题
s = String.format("%05d", 12);
可以生成00012这样格式的数据
不过是在jdk1.5的条件下

我现在的项目是jdk1.4的
怎么能生成这样格式的数据呢
兄弟们帮我想一下，有相应的
API马？谢谢

[解决办法]
public String getString(String str)
{
String string = "";
if(null!=str||!"".equals(str))
{
string = "000"+str
}
 

return string;
}