fix for GWT - no String.format