Should I use Java's String.format() if performance is important? Should I use Java's String.format() if performance is important? java java