I would use printf(), as described in the Formatter API docs. But DecimalFormat can also be used.