DecimalFormat.java

package java.text;

import com.google.gwt.i18n.client.NumberFormat;

public class DecimalFormat {

  private NumberFormat nf;

  public DecimalFormat(String pattern) {
     this.nf = NumberFormat.getFormat(pattern);
  }

  public String format(Number number) {
    return nf.format(number);
  }

}

SuperSourceOrWhat.java

  public static String printNumber(String pattern, Number number) {
    return new DecimalFormat(pattern).format(number);
  }