Add a further GwtIncompatible tag