infinite correzioni, rimossi un po' di simboli deprecati in GWT