I am wondering if it is possible, using the String.format method in Java, to give an integer preceding zeros?
For example:
1 would become 001 2 would be
String.format("%03d", 1) // => "001" // │││ └── print the number one // ││└────── ... as a decimal integer // │└─────── ... minimum of 3 characters wide // └──────── ... pad with zeroes instead of spaces
See java.util.Formatter for more information.