Where can I find the source for GWT-user's javax.servlet.Filter class?

I have tried downloading the sources jar for this and find the source file but it seems missing. Is there some other jar where I must be looking?

So, far I've only found https://github.com/gwtproject/gwt/issues/3444 which suggests that the Filter class was deliberately removed from the sources or something.

Thanks,

Mohit

--
You received this message because you are subscribed to the Google Groups "GWT Users" 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 https://groups.google.com/group/google-web-toolkit.
For more options, visit https://groups.google.com/d/optout.