Demonstrates GWT bug 7628