Removed @Nullable, available in gwt-dev, but possibly missing otherwise