public void addChar( char c, int width ){charWidths.put(Character.valueOf(c), Integer.valueOf(width));}

public void addChar ( char c , int width ) { charWidths . put ( Character . valueOf ( c ) , Integer . valueOf ( width ) ) ; }
public void AddChar(char c, int width){charWidths[c] = width;}
