Be GWT friendly and avoid using String.format