revision of String.format and printf

The old way was too error prone, new way, less error prone, just as efficient ...