java数字格式化----右对齐左补零

主要有两种方法：

方法一：

 java.text.DecimalFormat format = new java.text.DecimalFormat("0000");  

 acronymlist.println("ACR"+format.format(acronynmcounter)+":"+acronymmap.get(synos[t]));

方法二：

String str1 = String.format("%04d", number1);