As you can see from the Formatter documentation there is no way to pad a string with leading zeros. That comment is a little tongue in cheek: the documentation is a rather involved if you haven't...