GWT-675: checkstyle error