Updated release of gwt-soundmanager2-0.1.2