GWT project import and use of GWTEventService to push from server to javascript client