gwt-servlet.jar is a subset of gwt-user.jar and as along as you have gwt-user.jar in your classpath you don't need to have gwt-servlet.jar in your classpath (although it needs to be deployed). So you can either exclude gwt-servlet.jar in Eclipse or you make sure that gwt-user.jar is before gwt-servlet.jar in your classpath. That way you will see sources/JavaDoc in your IDE (provided from gwt-user.jar).
If you use maven you can simple download the sources through maven. They can also be found here: http://search.maven.org/#search%7Cga%7C1%7Ca%3A%22gwt-servlet%22 -- J. -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To unsubscribe from this group and stop receiving emails from it, send an email to google-web-toolkit+unsubscr...@googlegroups.com. To post to this group, send email to google-web-toolkit@googlegroups.com. Visit this group at http://groups.google.com/group/google-web-toolkit?hl=en. For more options, visit https://groups.google.com/groups/opt_out.