GWT frontend version updated to 1.5-SNAPSHOT