formatting in Calculator.gwt.xml