An SVG view and editor based on lib-gwt-svg and Ext-GWT