Where can I find gwt-servlet.jar source jar?

The source is included with gwt-dev.jar and gwt-user.jar and likely some others. But it is not included with gwt-servlet.jar. I've done a number of Google searches and searched here on Google Groups. But I haven't found an answer to this specific issue.

Specifically, I am trying to get at the JavaDoc for com.google.gwt.place.shared.PlaceController.Delegate atm.

Thank you.

--
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+unsubscribe@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.