maybe gwt now exports stuff correctly