Luckily the mechanism of Googles Eclipse Plugin to detect GWT Maven dependencies does not do the version check. So as a workaround I can remove the GWT facet, add GWT libraries manually and re-add the GWT facet on the project. The plugin then accepts the manually added GWT libraries as GWT SDK.
-- J. -- http://groups.google.com/group/Google-Web-Toolkit-Contributors --- You received this message because you are subscribed to the Google Groups "GWT Contributors" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit-contributors+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.