don't store gwt-servlet.jar in the repository