数字格式化

int res = 1; 
DecimalFormat df = new DecimalFormat("0000"); 
String statistics = df.format(res);