Formatter: format('|%f|%n|%12f|%n|%012f|', 10.12345, 10.12345, 10.12345) (a field-width specifier)
/*
|10.123450|
| 10.123450|
|00010.123450|
*/ import java.util.Formatter;
public class MainClass { public static void main(String args[]) {
Formatter fmt = new Formatter();
fmt.format("|%f|%n|%12f|%n|%012f|", 10.12345, 10.12345, 10.12345);