Changed to the default GWT libraries