GWT wrapper on top of Javascript library of Code mirror http://codemirror.net/index.html