MiniFormatter: formats some printf-style format strings on GWT

AndroidMiniFormatter.java

public class AndroidMiniFormatter implements MiniFormatter {
	public static String format(final String formatString, final Object... args) {
		return String.format(formatString, args);
	}
}

DesktopMiniFormatter.java

public class DesktopMiniFormatter implements MiniFormatter {
	public static String format(final String formatString, final Object... args) {
		return String.format(formatString, args);
	}
}

HtmlMiniFormatter.java

import java.util.*
import com.google.gwt.i18n.client.NumberFormat;
public class HtmlMiniFormatter implements MiniFormatter {
	private static NumberFormat fmt_d = NumberFormat.getFormat("############"),
	fmt_f = NumberFormat.getFormat("#######.#####0"),
	fmt_f1 = NumberFormat.getFormat("#######.0"),
	fmt_f2 = NumberFormat.getFormat("#######.#0");
	@Override
	public static String format(final String formatString, final Object... args)
	{
	        string msg = formatString;
	        char[] cs = msg.toCharArray();
	        int ctr = 0;
		for (int pos = 0; pos < cs.length() - 1; ++pos)
		{
			if(cs[pos] == '%')
			{
				char next = cs[++pos];
				switch(next)
				{
					case 'f': msg = msg.replaceFirst("%f", fmt_f.format((java.lang.Number)(args[ctr++])));
					break;
					case 'd': msg = msg.replaceFirst("%d", fmt_d.format((java.lang.Number)(args[ctr++])));
					break;
					case 's': msg = msg.replaceFirst("%s", args[ctr++].toString());
					break;
					case '.': if(cs[++pos] == '1')
					{
						msg = msg.replaceFirst("%.1f", fmt_f1.format((java.lang.Number)(args[ctr++])));
						pos++;
					}
					else if(cs[++pos] == '2')
					{
						msg = msg.replaceFirst("%.2f", fmt_f1.format((java.lang.Number)(args[ctr++])));
						pos++;
					}
					break;
				}
			}
		}
		return msg;
	}
}

MiniFormatter.java

public interface MiniFormatter {
	public static String format(final String formatString, final Object... args) {
}