Make GWT happy.