An HTML5 Todo List written in Google Web Toolkit