Integrating the Ace Editor with GWT