Clarify GWT extensions