Java Data Type - 如何将最小字段宽度说明符设置为％f转换

import java.util.Formatter;

public class Main {
  public static void main(String args[]) {
    Formatter fmt = new Formatter();

    fmt.format("|%f|%n|%12f|%n|%012f|", 10.12345, 10.12345, 10.12345);

    System.out.println(fmt);

  }
}