37d36
< 	java.text.NumberFormat numberFormat;
268c267
< 		String string = valueToString (max [0]);
---
> 		String string = String.valueOf (max [0]);
870,878d868
<  * 
<  * @param format the NumberFormat to be used
<  */
< public void setNumberFormat (java.text.NumberFormat format) {
< 	checkWidget ();
< 	this.numberFormat = format;
< }
< 
< /**
919c909
< 	String string = valueToString( value );
---
> 	String string = String.valueOf (value);
959,963d948
< private String valueToString (int value)
< {
< 	return this.numberFormat != null ? this.numberFormat.format ( value ) : String.valueOf (value);
< }
<