High performance  web code editor for GWT