将文件名中不足四位的数字前面以0补齐

import java.io.File;

class RenameIn{
	public static void main(String[] args){
		File srcFolder = new File("/bccdata/zxh/POVME_2_0_1/in");
		File[] files = srcFolder.listFiles();
		for (File f : files){
			String name = f.getName();
			String[] str = name.split("\\.");//把文件名以.分离
			String numStr = str[1];
			String newNum;
			int num = Integer.parseInt(numStr);
			if (num>0 & num<10) {
				newNum = "000"+num;
			}else if (num>9 & num<100) {
                                newNum = "00"+num;
			}else if (num>99 & num<1000) {
                                newNum = "0"+num;
			}else {
				newNum = ""+num;
			}
			System.out.println(newNum);
			File newName =new File(srcFolder,"receptor.1"+newNum+".pdb.in");
			f.renameTo(newName);
		}
	}

}