bug - missing excaping of % character in String.format() method